Sure, but that's an impact in usefulness. I value correctness as far as it makes the program more useful, but relatively simple type systems are more than enoug

Sure, but that's an impact in usefulness. I value correctness as far as it makes the program more useful, but relatively simple type systems are more than enough to get there.