sig
  val of_list : EConstr.constr -> EConstr.constr list -> EConstr.constr
  val type_of_list : EConstr.constr -> EConstr.constr
end