I believe this is conceptually similar to how "brands" can operate to add HKTs to TypeScript/Flow https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kin

I believe this is conceptually similar to how "brands" can operate to add HKTs to TypeScript/Flow https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-ki... https://cs.emis.de/LIPIcs/volltexte/2015/5231/pdf/21_.pdf https://cs.emis.de/LIPIcs/volltexte/2015/5231/pdf/21_.pdf