14 Jan
2013
14 Jan
'13
5:33 p.m.
* Johan Tibell
Let me rephrase: how will Simon's proposed "data constructors are in scope" mechanism work? For example, will
let xs :: Map = ... in map MyNewtype xs
behave differently if the constructors of Map are in scope or not?
Coercion is never implicit. In Simon's original proposal, for example, you need to define coercion functions using a special syntax. So this code will always work in the same, traditional way. Roman