Spec for polymorphic references