Init
Identity Monad
Maybe Monad
Based on http://blogs.msdn.com/b/wesdyer/archive/2008/01/11/the-marvels-of-monads.aspx