support monad-control 1.0