type t = 'a * 'b