Data.Graph.DAG.Edge
data EdgeValue from to
data EdgeKind
type family Deducible x :: Constraint
type family Excluding x xs :: Constraint
type family x =/= y :: Constraint
class Acceptable a oldLoops unique
type family PrependIfElem test a xs :: [k]
type family DisallowIn new oldLoops keyFound :: [(Symbol, [Symbol])]
data EdgeSchema edges nearLoops unique