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