Imm.Prelude
type a ::: b
(+:)
(*:)
data HLeft
data HRight
data HId
data HNo
type family Contains a b where ...
class Sub i sub sup
class sub :<: sup
class PairingM f g m
interpret
type LByteString
type ByteString
type LText
type Text
show
io
(<++>)