[Haskell-cafe] Understanding type synonym families

[Martijn van Steenbergen]

Hello everybody,

I think I'm finally beginning to understand how type synonym families 
[1] work, in the way that works best for me: running into a problem to 
which type synonyms offer a solution.

I wrote down my train of thoughts [2] and I was hoping you could give me 
some feedback: are there any mistakes in my conclusions? Did I miss any 
obvious corollaries? Are the points I make valid?

Also, I'm hoping it will be valuable to read for those wanting to 
understand type synonym families.

Thank you in advance,

Martijn.


[1] 
http://www.haskell.org/haskellwiki/GHC/Type_families#Detailed_definition_of_type_synonym_families
[2] http://martijn.van.steenbergen.nl/journal/type-synonym-families/