16 Jun
2009
16 Jun
'09
5:19 a.m.
What do you mean, without instances? How do you call "data instance" declarations? On 16 Jun 2009, at 02:16, Ashley Yakeley wrote:
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