sig type ('a, 'b) t val typename_of_t : 'a Typename.typename -> 'b Typename.typename -> ('a, 'b) Typename.S2.t Typename.typename end