Add an ID monad to MonadUtils (used in kind checking)