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.
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.