/r/haskell has already discussed this at length: http://www.reddit.com/r/haskell/comments/1co0s5/functors_applicatives_and_monads_in_pictures/ http://www.reddit

/r/haskell has already discussed this at length: http://www.reddit.com/r/haskell/comments/1co0s5/functors_applicatives_and_monads_in_pictures/ http://www.reddit.com/r/haskell/comments/1co0s5/functors_app... And I've given Maybe's Monad instance definition as well as explained it in pictures. If there's something missing please let me know specifically.