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...| neilmitchell.blogspot.com
