This seems to mix the terminology of "kind" and "context" (FWIW I think I prefer "context").