link to let-polymorphism
basic definition