What do you mean? This is perfectly sound and valid from both a practical and theoretical pov. Which is why I was pointing out that there are scenarios like c

What do you mean? This is perfectly sound and valid from both a practical and theoretical pov. Which is why I was pointing out that there are scenarios like constraints where any not only makes sense but is the correct type.