Language.Unlambda
data Exp
data Eval a
type Cont a