Module Generic.List_deprecated