Because what the world really needed was another way to make type errors more complicated. Next thing you know we'll have a whole framework for writing bespoke err messages https://www.reddit.com/user/SpecialistLady