Generalised from KureM to any monad.