Explicit Data.List import list in check-ppr (#20789)
check-ppr
features an import of Data.List without an import list.
After 81082cf4, this breaks the local validate flavour because of the compat
warning and -Werror
. So fix that.
Fixes #20789 (closed).