Module Make.List_deprecated