Re: [GHC] #11614: document TypeInType