Parameter Make.S

type 'a t