( * ) monad.