Any is a type that is compatible with any other in both ways.
It's a more type-safe alternative to
Dynamic, because it doesn't
support field access or operators and it's bound to monomorphs. So,
to work with the actual value, it needs to be explicitly promoted
to another type.