https://psalm.dev/docs/annotating_code/supported_annotations/#pure-callable is in supported_annotations. I'd expect it in https://psalm.dev/docs/annotating_code/type_syntax/atomic_types/ instead?