Causal Commutative Arrows

From HaskellWiki

CCA