Draft: Export 'type List = []' from Data.List
This is a part of accepted GHC proposal https://github.com/ghc-proposals/ghc-proposals/pull/281.
The names for tuples are still pending discussion (https://github.com/ghc-proposals/ghc-proposals/pull/458), but I think we can already land the List
synonym.