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