Define >> in terms of >>=