Parameter MakeOf.C

type 'a elt