Straightforward port of monadLib's BaseM typeclass to transformers