~~Cojoin~~

~~scalaz~~

Cont

scalaz

ContT

scalaz

Context

quiver

Conts

scalaz

ContsT

scalaz

clear

quiver

clearPred

quiver

clearSucc

quiver

contains

Graph

context

Graph

countNodes

Graph

ctx

Decomp GDecomp