Re: [Diffusion] [Build Failed] rGHCb833bc2767d7: User manual section to document the principles of kind inference