let polymorphism and evaluation