Parameter MakeOf.1-C

type 'a elt