/dev-haskell/monad-loops/