New posts in type-families

'type family' vs 'data family', in brief?

haskell type-families

Getting associated type synonyms with template Haskell

haskell template-haskell type-families reify associated-types