为什么Haskell只需要为整数x时，为什么希望此函数的参数具有类型类（RealFrac x，整数x）？

我正在尝试编写一些代码，通过试验除法对整数进行完全分解。这段代码似乎应该起作用：

findAFact :: Integral x => x -> x
findAFact x = searchInts [2, 3..] x where
    searchInts (int:ints) div
        | div `mod` int == 0 = int
        | otherwise          = searchInts ints div

completeFacts :: Integral x => x -> [x]
completeFacts x = tryForFact [] x where
    tryForFact fs x = if x == 1
                      then fs
                      else let fact = findAFact x
                           in tryForFact (fact:fs) (floor ((fromIntegral x) / fact))

但是，如果我尝试对此进行编译，则会出现以下错误：

Could not deduce (RealFrac x) arising from a use of 'tryForFact'
from the context (Integral x)
  bound by the type signature for
             completeFacts :: Integral x => x -> [x]
  at 5.hs:26:18-39
Possible fix:
  add (RealFrac x) to the context of
    the type signature for completeFacts :: Integral x => x -> [x]
In the expression: tryForFact [] x
In an equation for 'completeFacts':
    completeFacts x
      = tryForFact [] x
      where
          tryForFact fs x
            = if x == 1 then
                  fs
              else
                  let ... in tryForFact (fact : fs) (floor ((fromIntegral x) / fact))

如果我从中删除类型签名completeFacts并尝试将其加载到GHCI中，则解释器将加载文件并(RealFrac x, Integral x ) => x -> [x]为其提供类型签名completeFacts，但是当我尝试使用completeFacts该方法时会抱怨show，因为在的上下文中其类型不明确，因此无法使用它show。这对我来说很有意义，因为似乎有一种清晰的方法将x显示为aRealFrac 或an Integral，但不能同时显示两者。

这似乎是令人反感的代码：

...
in tryForFact (fact:fs) (floor ((fromIntegral x) / fact))

我很困惑，因为我想象过将xfromIntegral传递给然后将除法的结果传递floor给我会得到Integral回报。我不明白为什么Haskell仍然认为x还需要具有类型类RealFrac。Haskell为什么坚持这一点，以及如何重写才能completeFacts使x只能是an Integral？

谢谢！