Data.Comp.Dag
data
Dag
f
termTree
reifyDag
unravel
bisim
iso
strongIso