singletonValue
Untyper