KeySets and Untypeable