Func is a function A => F[B].
A => F[B]
See: The Essence of the Iterator Pattern
Modify the context F using transformation f.
F
f