CLC Proposal n°182: Export List from Data.List

This is the companion MR to CLC Proposal 182: Export GHC.List.List from Data.List.

---

Oddity: With the following code:

{-# LANGUAGE GHC2021 #-}
module Module where

import Data.List (List)
import Data.List qualified as List

hed :: List a -> a
hed = List.head

Querying the type of hed returns the following:

ghci> :t hed
hed :: [a] -> a

@int-index Is there anything I'm missing?