Re: [GHC] #9622: GHCi command to solve a constraint