update monad.ml with infix operations