Agda.Syntax.Treeless
data Compiled
type Args
data TTerm
data TPrim
isPrimEq
mkTApp
tAppView
tLetView
tLamView
mkTLam
mkLet
tInt
intView
tPlusK
tNegPlusK
plusKView
negPlusKView
tOp
tUnreachable
tIfThenElse
data CaseType
data TAlt
data TError
class Unreachable a