Restricted_monad