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/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
