Follow-up resources Foldable and Traversable; Jakub Arnold. The Essence of the Iterator Pattern; Jeremy Gibbons and Bruno Oliveira. Applicative Programming with Effects; Conor McBride and Ross Paterson.