Monad (R1 a)
Implemented (>>)