support monad-control 1.0; more bounds