s/Monad/Monad', s/Triple/Monad