I know this was the example, but it’s my main (if not only) concern: I worry it could significantly hurt compiler performance. Creating a typechecker for such flexible typesystem as described in the initial research is surely a challenge to make fast and not explode in memory usage in some edge cases.
And a related concern: I worry that the typechecker will sometimes have to simplify type information (like Dialyzer does), which would make it less reliable and less pleasant to work with.
