fixing up monad, adding machine