Module type Typerep_extended.Type_struct.Typestructable