Data.Binding.Hobbits.Examples.LambdaLifting.Terms
data L a
data D a
data Term
lam
data DTerm
data Decl
data Decls