Re: [GHC] #13306: Problems with type inference for static expressions