A rewrite of monad-control which provides only MonadBaseControl