added par monad example from haskell -- it's PURE