rant about haskell
introductory stuff about monad