Type-indexed trees where all keys should be singletons