Parameter Make.1-X

type 'a t