Is it possible to infer a const type from a Set? - Theo's Typesafe Cult