Data.Binding.Hobbits.Examples.LambdaLifting.Terms

data L a

data D a

data Term

lam

data DTerm

data Decl

data Decls