Let over lambda, impl
Polymorphism impl