Re: [GHC] #9548: Numerical type system problem