Functions as Functors

[none]