Language.Syntactic.Syntax
data AST dom sig
type ASTF dom a
data Full a
data a :-> sig
size
class ApplySym sig f dom
type family DenResult sig
data (dom1 :+: dom2) a
class Project sub sup
class sub :<: sup
appSym
symType
prjP