Documentation

Collections are foldable types that support empty, singleton,
union, and map operations. The result of a free variable
calculation may be any collection. Instances are provided for
lists, sets, and multisets.