Some nice code examples showing how to use type families.
They are inspired by code from the MTL and from parser combinators.
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.
