- genericisation
- variant of closure conv.