How do collectors support grouping and aggregation in Java streams?

I check key cardinality and result size before collecting a large stream into memory. A grouped map with millions of distinct keys may be the wrong application-level operation and belong in a database or streaming system. For parallel collection, collector characteristics and merge cost matter; a syntactically valid collector is not automatically efficient in parallel. Clear result types and bounded data are more important than using the most elaborate composition.