- Ordered overlapping type family instances | Types and Kinds http://typesandkinds.wordpress.com/2012/12/22/ordered-overlapping-type-family-instances/ 52 comments haskell
- Template Haskell now supports type families, including associated types, kind annotations, pragmas and bang patterns! http://www.haskell.org/pipermail/template-haskell/2009-march/000732.html 3 comments haskell