Unbound.LocallyNameless.Types

data GenBind order card p t

type Bind p t

type SetBind p t

type SetPlusBind p t

data Rebind p1 p2

data Rec p

data TRec p

data Embed t

data Shift p

Pay no attention to the man behind the curtain

rGenBind

rRebind

rEmbed

rRec

rShift