Support monad-control >= 1