Fix v2.1-rc1 by reverting (some) changes to Data.List.*#2423

MatthewDaggitt merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:repair-v2.1-rc1jamesmckinna/agda-stdlib:repair-v2.1-rc1Copy head branch name to clipboard