On Oct 28, 2008, at 2:00 PM, Mark S. Miller wrote:
> Hopefully Map will not reproduce this insanity, and so be too well
> behaved to use directly in a desugaring of switch.
I don't propose to desugar switch, but yes: default Map should use
identity ("eq"), not ===.
/be