advancing in the monads transformers implementation