Let-polymorphism