First-class functions/closures are essentially polymorphic blocks. This is because, in the general case, a call through a first-class function might be followe

First-class functions/closures are essentially polymorphic blocks. This is because, in the general case, a call through a first-class function might be followed by a dispatch step in which different blocks of code can be "selected" to run depending on runtime data.