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