Re: [GHC] #13530: Horrible error message due to TypeInType