AspectKind: keyof AspectTyping<never, never, never>