focus-1.0.3: A general abstraction for manipulating elements of container data structures