I'm not sure if I agree about the highly subjective "power level" claim, but then who's to say. More specifically, it's quite certain that types are capable of

I'm not sure if I agree about the highly subjective "power level" claim, but then who's to say. More specifically, it's quite certain that types are capable of solidly dispatching some kinds of errors and tests a different kind. In other words, they are orthogonally optimized and combine well.