[Haskell-cafe] Re: Parametrized monads
miguelimo38 at yandex.ru
Tue Jun 16 01:19:47 EDT 2009
What do you mean, without instances? How do you call "data instance"
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
> Actually, you can use type families without using classes or
> instances at all.
> Ashley Yakeley
More information about the Haskell-Cafe