Functors:
 only once 42 24 ok
High-order functors:
 4