rename MonadIOAllow -> Allow