Comment by jofer

Unless I'm missing something entirely, what would that add? You still can't express the core information you need in the type system.