Haskell example for monads being a thing that might be useful for stuff