AspectKind: keyof AspectTyping<never, never>