when will we have proper Rust-like namespacing for constructor names so i can stop having to prefix type names like in data Thing = ThingFoo | ThingBar until the end of time. please
Conversation
Yess! This drives me up the wall in Haskell, Agda, and Coq. :(
2
2
That along with `import` or `open` that dumps the entire contents of a module into scope. 😭