typeswitch-dev

Currently `import` will make everything in a module's namespace visible. It would be nice to have finer-grained control over what symbols are made visible in the current scope.

For example, ``` data(Foo, A, B) def(foo, Foo -- Int, match(A -> 1)) ``` Will already say "pattern match not exhaustive", but it should also tell you that the missing...