*any* is not a polymorphic type, per se