Put injective type families in a separate language extension
Injective type families should only be enabled when language extension TypeFamilyDependencies
is specified. This extension should imply TypeFamilies
.
Injective type families should only be enabled when language extension TypeFamilyDependencies
is specified. This extension should imply TypeFamilies
.