Reified some more operations, fixed Monad instance