sig
  type 'a t
  val typename_of_t :
    'Typename.typename -> 'Typename.S1.t Typename.typename
end