[racket-dev] Typed Racket and eq?

Sam, this is an interesting question and you should look into it because the answer isn't obvious: 

  (module A typed/racket (provide map))

passes map from 'somewhere' through A to two contexts: typed and untyped modules. Given that all provides slap on contracts in TR -- that's what the manual says or should say -- it is surprising that this map should ever be the same as the map that came from 'somewhere'.  It certainly wouldn't be the case in a contract world.