Haven’t you answered your own question at Transformative type families? It seems to be the same implementation as GHKD_ in the Higgledy docs.
Haven’t you answered your own question at Transformative type families? It seems to be the same implementation as GHKD_ in the Higgledy docs.