Shave the Prelude-yak (for monad transformers)