Re: [GHC] #11130: GHCi should not defer typed holes