[Haskell-cafe] Re: Parametrized monads

[Miguel Mitrofanov]

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