>>> $(toCharOrFail 'F' >>= charExp)
CapitalLetterF

>>> $(toCharOrFail '\DEL' >>= charExp)
Delete

>>> :{
>>> case SmallLetterS of
>>> $(toCharOrFail 'r' >>= charPat) -> 1
>>> $(toCharOrFail 's' >>= charPat) -> 2
>>> _                               -> 3
>>> :}
2

This is the same as:

>>> :{
>>> case SmallLetterS of
>>> SmallLetterR -> 1
>>> SmallLetterS -> 2
>>> _            -> 3
>>> :}
2

>>> $(charListExp [CapitalLetterH, SmallLetterI])
[CapitalLetterH,SmallLetterI]

>>> :{
>>> case [CapitalLetterH, SmallLetterI] of
>>> $(charListPat [CapitalLetterH, SmallLetterA]) -> 1
>>> $(charListPat [CapitalLetterH, SmallLetterI]) -> 2
>>> _                                             -> 3
>>> :}
2

>>> $(isCharExp CapitalLetterA) :: ASCII.Char
CapitalLetterA

>>> $(isCharExp CapitalLetterA) :: Word8
65

>>> $(isCharExp CapitalLetterA) :: ASCII Word8
asciiUnsafe 65

>>> :set -XViewPatterns

>>> :{
>>> case (66 :: Word8) of
>>> $(isCharPat CapitalLetterA) -> 1
>>> $(isCharPat CapitalLetterB) -> 2
>>> _                           -> 3
>>> :}
2