Data.DAG.Simple
Computing with binary relations
type
Relation
a
inverse
image
reachableSet
restrict
Cycles
dfsLoopBreakers
cyclic
toposort