Re: [GHC] #10569: Optionally treat an out-of-scope variable like a typed hole (was: Treat an out-of-scope variable like a typed hole)