Re: Implict parameters and monomorphism

[John Hughes]

        But a term with an "implicit" argument is a function no matter how you turn
        it, you just don't write the argument explicitely.

I don't buy that. You could equally well say a term with a free variable is
a "function" (of the environment): sure it is, but if it's bound with a let
then the function is called only once.

John

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell