Enforcing a relation between independent type families.
The question of how to ensure that one type family is the inverse of another comes up once in a while. Here some concrete code.
About
I research and teach programming languages, compilers, and their applications at the University of New South Wales (UNSW), Sydney. My main interest is in functional and parallel programming. Most of my code is in Haskell.
You can find me on App.net (preferred) and Twitter, or on GitHub. Check out my UNSW website.
