Re: [GHC] #9843: Add flag to infer undefined for variables with only types