Language.Syntactic.Constraint
class (c1 :/\: c2) a
class Top a
type Sub sub sup
class sub :< sup
data :|
data :||
class Constrained expr
type ConstrainedBy expr p
class InjectC sub sup a
data SubConstr1
data SubConstr2
data ASTE
data ASTB
type ASTSAT dom
data Empty