On 16/07/2025 13:05, Henning Thielemann wrote: > In my memory, GHC-7 was the version range for consolidating type > families, GHC-8 was the version range for consolidating kind level > extensions, GHC-9 could have been the version range for dependent > types, maybe GHC-10 will. GHC-9 brought us linear types. :)