tighter fixity for :- (still looser than <|>, but now tighter than >>=)