Use Cat in Monad.v