Re: [GHC] #10769: Yet another crash from typed holes (was: Yet another crash from type holes)