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