Two results on set-theoretic polymorphism