Haskell无法推断类型？

我已经尝试过无数的Google搜索答案，但是对于Haskell来说还很陌生，我不了解所发现的一半内容，而另一半却与之并没有什么联系。

我的问题是，如果我在ghci中运行这些语句

Prelude> let x = 5 :: (Num a) => a
Prelude> sqrt x

我得到了我所期望的

2.23606797749979

但是，如果我将其放入文件中并进行编译（当然，我在这里所做的工作非常琐碎）

sqrtNum :: (Num a, Floating b) => a -> b
sqrtNum x = sqrt x

我明白了

myfile.hs:2:18:
    Could not deduce (a ~ b)
    from the context (Num a, Floating b)
      bound by the type signature for
                 sqrtNum :: (Num a, Floating b) => a -> b
      at test2.hs:1:12-40
      `a' is a rigid type variable bound by
          the type signature for sqrtNum :: (Num a, Floating b) => a -> b
          at test2.hs:1:12
      `b' is a rigid type variable bound by
          the type signature for sqrtNum :: (Num a, Floating b) => a -> b
          at test2.hs:1:12
    Relevant bindings include
      x :: a (bound at test2.hs:2:9)
      sqrtNum :: a -> b (bound at test2.hs:2:1)
    In the first argument of `sqrt', namely `x'
    In the expression: sqrt x

该问题可能非常简单，我只是对其进行了监督（因此，我遇到的所有其他错误都是我的经验），但这并不是单击。

提前致谢！