If I export map (w/out change to type) from typed/racket and eq? it against the map from racket, the two are eq?. This feels like a violation of abstraction: typed map is a "different thing" from untyped map.
Shriram _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev