Documentation for free Applicative functors
Explained Iter, sketch of coiter.
Example for Iter