The purpose is to provide powerful combinators to express iteration, transformation and combination of collections of items living in a type 'a t, such as join, group_by, union, flat_map, etc. for in-memory processing.