[Haskell-cafe] Ambiguous type variable

Ben Lippmeier Ben.Lippmeier at anu.edu.au
Mon Jul 26 03:34:22 EDT 2004

Arjun Guha wrote:

> AlphaBeta.hs:1:
>     Ambiguous type variable `v' in the top-level constraint:
>       `Ord v' arising from use of `maxValue' at AlphaBeta.hs:12 

Another person had a similar problem just the other week.. The error 
messages are different, but the problem is the same.

Read the messages in this thread:

Then read
"Type classes with functional dependencies", Mark P. Jones, 2000
You can get the paper at http://www.cse.ogi.edu/~mpj


More information about the Haskell-Cafe mailing list