Call other with my result.
Do other, than call myself with its result.
The captured function.
Endomorphisms. They have special properties among functions, so are captured in this newtype.
The captured function.