Re: [GHC] #12867: Internal error while typechecking invalid program