[Haskell-cafe] Understanding type synonym families

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_... [2] http://martijn.van.steenbergen.nl/journal/type-synonym-families/