Data.Syntax

data Lambda n m

class NodeFunctor n m

data SyntaxT n m a

data ThunkT n m a

type Thunk n a

type NodeT n m a

force

forcing

liftN

liftS

liftNS