Data.CaseInsensitive
data CI s
class FoldCase s