longestPaths; ShowDepths
track GraphInfo type
EqCat and OrdCat instances; longestPath
transposeP, transposeS
mealy