Not going to discuss this further. You have a dogmatic view on what is an excellent type system.