monad-control 1.0