Since `base-4.18` [the list of instances for `[]`](https://hackage.haskell.org/package/base-4.18.0.0/docs/GHC-List.html#t:List) is rendered inconsistently: it says `Eq [a]`, `Ord [a]`, `Monoid [a]`, etc. (as in every version before `base-4.18`), but suddenly `Eq1 List`, `Show1 List` and `Foldable List`. Could the consistency be restored? I think it's better to roll back rendering to pre-`base-4.18` style: `GHC.List.List` is not exported from `Data.List` and it's somewhat confusing for beginners to link it from the list of instances. `ghci-9.6.1` is somewhat more consistent, but also different from `ghci-9.4.5`: ``` ghci> :i [] type List :: * -> * data List a = [] | a : [a] -- Defined in ‘GHC.Types’ instance Monoid [a] -- Defined in ‘GHC.Base’ instance Semigroup [a] -- Defined in ‘GHC.Base’ instance Foldable [] -- Defined in ‘Data.Foldable’ instance Traversable [] -- Defined in ‘Data.Traversable’ instance Read a => Read [a] -- Defined in ‘GHC.Read’ instance Show a => Show [a] -- Defined in ‘GHC.Show’ instance Applicative [] -- Defined in ‘GHC.Base’ instance Functor [] -- Defined in ‘GHC.Base’ instance MonadFail [] -- Defined in ‘Control.Monad.Fail’ instance Monad [] -- Defined in ‘GHC.Base’ instance Eq a => Eq [a] -- Defined in ‘GHC.Classes’ instance Ord a => Ord [a] -- Defined in ‘GHC.Classes’ ``` ``` ghci> :i GHC.List.List type List :: * -> * data List a = [] | a : [a] -- Defined in ‘GHC.Types’ instance Traversable [] -- Defined in ‘Data.Traversable’ instance MonadFail [] -- Defined in ‘Control.Monad.Fail’ instance Monoid [a] -- Defined in ‘GHC.Base’ instance Semigroup [a] -- Defined in ‘GHC.Base’ instance Applicative [] -- Defined in ‘GHC.Base’ instance Foldable [] -- Defined in ‘Data.Foldable’ instance Functor [] -- Defined in ‘GHC.Base’ instance Monad [] -- Defined in ‘GHC.Base’ instance Read a => Read [a] -- Defined in ‘GHC.Read’ instance Ord a => Ord [a] -- Defined in ‘GHC.Classes’ instance Show a => Show [a] -- Defined in ‘GHC.Show’ instance Eq a => Eq [a] -- Defined in ‘GHC.Classes’ ```