Add operator==(), operator!=(), and tests of operator>>().
Add is_monad<>, is_monad_t<>.