Haskell调用hypergeom报错：No instance for (RealFloat (Ratio Integer))

我使用他人提供的代码定义了hypergeom函数：

hypergeom ::
     forall a. (Eq a, Fractional a, BaseFrac a)
  => Int            -- truncation weight
  -> BaseFracType a -- alpha parameter (usually 2)
  -> [a]            -- "upper" parameters
  -> [a]            -- "lower" parameters
  -> [a]            -- variables (the eigenvalues)
  -> IO a

当我以a = Complex Rational调用该函数时，触发了如下错误：

No instance for (RealFloat (Ratio Integer))
        arising from a use of `hypergeom'

具体执行步骤及错误详情：

ghci> import Data.Ratio
ghci> import Data.Complex
ghci> alpha = 2 % 1 :: Rational
ghci> a = 2 % 10 :+ 1 % 1 :: Complex Rational
ghci> b = 1 % 2 :+ 0 % 1 :: Complex Rational
ghci> c = 2 % 1 :+ 3 % 1 :: Complex Rational
ghci> x1 = 1 % 3 :+ 1 % 4 :: Complex Rational
ghci> x2 = 1 % 5 :+ 1 % 6 :: Complex Rational
ghci> hypergeom 10 alpha [a, b] [c] [x1, x2]

<interactive>:28:1: error:
    * No instance for (RealFloat (Ratio Integer))
        arising from a use of `hypergeom'
    * In the expression: hypergeom 10 alpha [a, b] [c] [x1, x2]
      In an equation for `it':
          it = hypergeom 10 alpha [a, b] [c] [x1, x2]

我确定过去使用Data.Complex.Generic时代码可正常运行，但新版本编译器无法使用该模块，请问这个错误是什么意思？

这个错误的核心逻辑是：hypergeom函数依赖的BaseFrac类型类（或其内部实现），要求Ratio Integer（即Rational类型）必须实现RealFloat类型类，但Haskell标准库中Rational并没有RealFloat实例。

RealFloat是专门为浮点数类型（如Double、Float）设计的类型类，提供三角函数、指数对数等浮点数特有的运算能力；而Rational是精确的有理数类型，不属于浮点数范畴，自然不会实现这个类型类。

至于你之前用Data.Complex.Generic能正常运行，是因为该模块可能为Complex Rational提供了特殊的类型类实例，或是对BaseFrac的约束做了兼容处理。但新版本编译器移除该模块后，这种兼容机制消失，标准库的原生类型约束就直接暴露出来了。

• 替换为浮点数类型：将所有Rational类型的变量改为Double，比如alpha = 2.0 :: Double、a = 0.2 :+ 1.0 :: Complex Double等，这样就能满足RealFloat的约束要求。
• 手动实现实例：如果需要保留精确计算，可以查看BaseFrac类型类的定义，为Complex Rational手动实现符合要求的实例（但这需要深入理解hypergeom的内部逻辑）。

内容的提问来源于stack exchange，提问作者Stéphane Laurent