ADP.Fusion.Base.Classes
data OutsideContext s
data InsideContext s
data ComplementContext
class RuleContext i
class Element x i
class MkStream m x i
class Build x
data S
data StaticCheck a b
data TableConstraint
class ModifyConstraint t
type family TblConstraint x :: *