Module Trait.Show

module type S = sig ... end
val t : ('t, (module S with type t = 't), [> show ]) Provider.Trait.t