Sir—
Kindly note that it is good practice in
/prog/ to
sage1 each and every post. Please pay particular attention to avoid using imageboard jokes, as they subvert the subtle ways of
/prog/ culture and are in general not very appreciated.
Also Monads are general abstract nonsense
2. The purpose of the IO instance is to keep the filth of IO from infecting beautiful pure code by encapsulating it. The monad is quite simply a functor of a category to itself and it works as such
3.
_______________________________________________
Notes:
1. noko is considered bad manners as it is not a sage !
2. http://en.wikipedia.org/wiki/Monad_(category_theory)
3. Note that Maybe is a Monad instance as much as [].