Some nice code examples showing how to use type families.
http://martijn.van.steenbergen.nl/journal/2009/01/11/type-synonym-families/
They are inspired by code from the MTL and from parser combinators.
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, and in particular, in Haskell.
My Twitter handle is TacticalGrace.
Check out my UNSW website.
http://martijn.van.steenbergen.nl/journal/2009/01/11/type-synonym-families/
They are inspired by code from the MTL and from parser combinators.
