I'm pretty confident we don't want the fixity of :< to be any higher, but do we want it to be lower to allow >>= in the second argument without parentheses? My intuition about fixity levels is not great. Note: if this changes, the Show1 instance will need a slight adjustment.