Because then it would need to represent invalid data in its output type.