Как определить тип, если он неоднозначный?

Я новичок в Haskell, и у меня есть некоторые проблемы с пониманием этого. У меня есть 2 функции, определенные в таком файле:

expr n x = (x ^ n)/(fact n)


fact n
  | n == 0 = 1
  | otherwise = n * fact (n - 1)

Но когда я пытаюсь запустить say expr 3 2, я продолжаю получать такую ​​ошибку:

*Main> expr 3 2

<interactive>:31:1: error:
    • Ambiguous type variable ‘a0’ arising from a use of ‘print’
      prevents the constraint ‘(Show a0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘a0’ should be.
      These potential instances exist:
        instance Show Ordering -- Defined in ‘GHC.Show’
        instance Show Integer -- Defined in ‘GHC.Show’
        instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
        ...plus 22 others
        ...plus 19 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In a stmt of an interactive GHCi command: print it

Я проверил типы для различных выражений и вижу это:

*Main> :t (/)
(/) :: Fractional a => a -> a -> a
*Main> :t (^)
(^) :: (Integral b, Num a) => a -> b -> a
*Main> :t 3 ^ 6
3 ^ 6 :: Num a => a
*Main> :t fact
fact :: (Eq p, Num p) => p -> p
*Main> :t fact 3
fact 3 :: (Eq p, Num p) => p
*Main> :t 9 / 6
9 / 6 :: Fractional a => a

Но я не могу понять, какие типы дать моим функциям, чтобы избежать этого. Я попытался придать моей функции фактов такой тип, поскольку (/) ожидает Fractional:

fact :: (Fractional a) => Int -> a

Но если я попытаюсь указать свои типы функций, файл даже не загрузится в ghci. Я могу опубликовать сообщение об ошибке, которое я получаю при попытке загрузить мой файл с типами, если это поможет.

Если я попытаюсь добавить тип к показу, используемому при оценке выражения, это тоже не сработает:

*Main> expr 3 2 :: String

<interactive>:37:1: error:
    • No instance for (Fractional String) arising from a use of ‘expr’
    • In the expression: expr 3 2 :: String
      In an equation for ‘it’: it = expr 3 2 :: String

<interactive>:37:6: error:
    • No instance for (Num String) arising from the literal ‘3’
    • In the first argument of ‘expr’, namely ‘3’
      In the expression: expr 3 2 :: String
      In an equation for ‘it’: it = expr 3 2 :: String
*Main> expr 3 2 :: Integer

<interactive>:38:1: error:
    • No instance for (Fractional Integer) arising from a use of ‘expr’
    • In the expression: expr 3 2 :: Integer
      In an equation for ‘it’: it = expr 3 2 :: Integer