Strictness properties
Map type
Operators
Query
Construction
Insertion
Delete/Update
Combine
Union
Difference
Intersection
Universal combining function
Traversal
Map
Folds
Strict folds
Conversion
Lists
Ordered lists
Filter
Submap
Indexed
Min/Max
Debugging