[Haskell-cafe] Re: Parametrized monads

[Ashley Yakeley]

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