Data.Cased
data Lower
data Upper
data Mixed
data Yes
data No
type family IsUpperCased a :: *
type family IsLowerCased a :: *
data Cased a b
class Casing a
upperCased
lowerCased
mixedCased
force