I tried and failed to understand the reasons given in the Report (1.4)
for the monomorphism restriction and other type things. Could someone
explain what these mean and why they are needed? I think it would be
really nice if it were possible to create a container capable of
containing any number of objects of any number of types.... It would
avoid the nastiness of a special definition for each tuple type and and
lead to more flexibility. I suspect it is impossible, but don't know
why.....
--
______________________________
/ David Feuer \
| [EMAIL PROTECTED] |
| [EMAIL PROTECTED] |
\ [EMAIL PROTECTED] /
-----------------------------
