Re: [Haskell-cafe] Re: Overloading functions based on arguments?

"John A. De Goes" writes:

I'm referring to a rather conservative proposal wherein if there is one and exactly one definition that allows an expression to type, then name overloading in the same scope is permitted.

Perhaps this was discussed in the context of records and field accessors? -k -- If I haven't seen further, it is by standing in the footprints of giants