looking at <=< (monadic composition), making a monad, and LYAH's SafeRPN version