module type S = sig

  type t = T

end