15 Jun
2009
15 Jun
'09
10:16 p.m.
Miguel Mitrofanov wrote:
First, it seems to me that using type families would require some other extensions. Multi-parameter type classes are OK, but, in my experience, the road from them to the darkness of undecidable instances is quite short, and I don't feel very safe on these grounds.
Actually, you can use type families without using classes or instances at all. -- Ashley Yakeley