starting to overstand monads