To me "Key" sounds like an implementation detail (a buit like naming a class `Klass`) while "AnnotatedType" describe the function.