[Haskell-cafe] Re: Parametrized monads

Miguel Mitrofanov 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  
>> grounds.
> Actually, you can use type families without using classes or  
> instances at all.
> -- 
> Ashley Yakeley

More information about the Haskell-Cafe mailing list