>> (...)
When you have
data Test = Test (forall w. (C1 w, C2 w, ..., Cn w) => w)
and
function (Test w) = classmethod w,
there is no way to decide which instance to use, hence the type variable is
ambiguous.
(...)
But, then, how can I reach the data inside a
polymorphic component? Or, better, what can I
do with it? If I say:
function (Test w) = classmethod (w :: specificType)
then I have to suppose that w is always of
'specificType', and this may not be true.
Thanks,
Maurício
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
