You mean, something like Functors, Applicatives, and Monads in Pictures[1]? [1]: http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures

You mean, something like Functors, Applicatives, and Monads in Pictures[1]? [1]: http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html http://adit.io/posts/2013-04-17-functors,_applicatives,_and_...