Last minute additions to the monad transformers part
More last minute changes ...