Haskell：show函数不能像我预期的那样工作

Question

我有 Num类实例和显示类实例。我重新定义了＆＃34; fromInteger ＆＃34;，它接收一个整数并将其转换为有理数，并且＆＃34; show ＆＃34;也起作用。

这是所有代码：

data Racional = Rac Integer Integer

instance Show Racional where
    show (Rac numerador denominador) = show numerador ++ "/" ++ show denominador

instance Num Racional where
    (*) (Rac numA denA) (Rac numB denB)  =  multRac (Rac numA denA) (Rac numB denB)
    (+) (Rac numA denA) (Rac numB denB)  =  sumRac (Rac numA denA) (Rac numB denB)
    (-) (Rac numA denA) (Rac numB denB)  =  resRac (Rac numA denA) (Rac numB denB)
    abs (Rac numerador denominador) = Rac (abs numerador) (abs denominador)
    signum (Rac numerador denominador) = if numerador < 0 || denominador < 0 
                                         then (-1)  else 1
    negate (Rac numerador denominador) = Rac (numerador * (-1)) denominador
    fromInteger entero = Rac entero 1

simplificaRac :: Racional -> Racional
simplificaRac (Rac numerador denominador) = if (numerador < 0) && (denominador < 0) 
    then Rac (abs (div numerador mcd)) (abs (div denominador mcd))
    else Rac (div numerador mcd) (div denominador mcd) 
    where mcd = gcd numerador denominador

multRac :: Racional -> Racional -> Racional
multRac  (Rac numA denA) (Rac numB denB) = simplificaRac (Rac (numA * numB) (denA * denB))

divRac :: Racional -> Racional -> Racional
divRac (Rac numA denA) (Rac numB denB) = simplificaRac (Rac (numA * denB) (denA* numB))

sumRac :: Racional -> Racional -> Racional
sumRac (Rac numA denA) (Rac numB denB) = simplificaRac (Rac ((numA * denB) + (denA * numB))  (denA* denB) )

resRac :: Racional -> Racional -> Racional
resRac (Rac numA denA) (Rac numB denB) = simplificaRac (Rac ((numA * denB) - (denA * numB))  (denA* denB) )

我不明白为什么当我执行＆＃34; fromInteger 4＆＃34;然后show function显示没有分母1的结果？也就是说，我想展示＆＃34; 4/1＆＃34;但显示为＆＃34; 4＆＃34;。

data Racional = Rac Integer Integer

instance Show Racional where
    show (Rac numerador denominador) = show numerador ++ "/" ++ show denominador

instance Num Racional where
    (*) (Rac numA denA) (Rac numB denB)  =  multRac (Rac numA denA) (Rac numB denB)
    (+) (Rac numA denA) (Rac numB denB)  =  sumRac (Rac numA denA) (Rac numB denB)
    (-) (Rac numA denA) (Rac numB denB)  =  resRac (Rac numA denA) (Rac numB denB)
    abs (Rac numerador denominador) = Rac (abs numerador) (abs denominador)
    signum (Rac numerador denominador) = if numerador < 0 || denominador < 0 
                                         then (-1)  else 1
    negate (Rac numerador denominador) = Rac (numerador * (-1)) denominador
    fromInteger entero = Rac entero 1

谢谢：）