type (:+:) a b = (a, b)