16 Jun
2009
16 Jun
'09
3:46 a.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