[Haskell-cafe] A type class puzzle

Nicolas Frisby nicolas.frisby at gmail.com
Tue Oct 31 16:11:44 EST 2006


>     Does that explain how, why, or when you can use more arguments than
> you are allowed to use?  Or is it just another example of "using more
> arguments than you are allowed to use"?  Is this a Haskell 98 thing, or
> is it related to MPTCs, or fun deps, or something else?
>

I don't understand "you can use more arguments than you are allowed to use".

I doubt the work in Faking It is Haskell 98 because I'm pretty sure it
uses MPTCs, fundeps and undecidable instances. I think it does a bit
to introduce these concepts too if you're unfamiliar with them.

Nick


More information about the Haskell-Cafe mailing list