Flipped priority of monad transformer material