Does any version of GHC supports the extension UnsaturatedTypeFamilies ?
Searching 9.2.1 manual shows no entry
In general, how to find which GHC version supports an extension ?
CodePudding user response：
See the discussion here.
While the proposal for this feature has been accepted as an experimental feature for inclusion in GHC, there is currently no official released version of GHC that supports this extension, and there is no development branch in the main GHC GitLab repository that includes it, as far as I can see. A prototype by Csongor Kiss who authored the proposal is available from Csongor's private repository branch:
and that appears to be the latest available implementation.