Re: [GHC] #11711: Typechecker assertion failure