monad :'+/y' 1 2 3