Monads as Graphs
neilmitchell.blogspot.com
Summary: You can describe type classes like monads by the graphs they allow. In the Build Systems a la Carte paper we described build syste...