Rewrite curried flip so that labels are not necessary