Language.Syntactic.Constructs.Binding.HigherOrder
data Variable a
data Let a
data HOLambda dom p pVar a
type HODomain dom p pVar
type FODomain dom p pVar
type CLambda pVar
lambda
reifyM
reifyTop
reify