Error message usefulness is not a strict requirement of type systems.