[Haskell-cafe] Re: Parametrized monads

Ashley Yakeley ashley at semantic.org
Mon Jun 15 18:16:26 EDT 2009

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