Treat more operators as monadic, more uniformly.
Esp. +>>=, etc., for Jane Street.