Are transformative type families already working and is that Higgledy works ?
Seems to be. Look at the definition of type family GHKD_. It’s the same as what you intended your F to be.
Are transformative type families already working and is that Higgledy works ?
Seems to be. Look at the definition of type family GHKD_. It’s the same as what you intended your F to be.