Parameter Make.Info

type 'a t