Add example from Section 5 "Generic Operations"