1 2 3 4 5 6 7 8 9 10
module Proposal229b ((~), (@)) where (~) :: a -> b -> (a, b) x ~ y = (x, y) (@) :: a -> b -> (a, b) x @ y = (x, y) r :: ((Bool, Bool), Bool) r = True ~ False @ True