Imm.Prelude

Free monad utilities

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

Shortcuts

type LByteString

type ByteString

type LText

type Text

show

io

(<++>)