типы необходимых эквивалентными через два отдельных вызова функции

Question

Рассмотрим следующие две функции в Haskell (минимальный пример моего реального кода):

printSequence :: (Show a, Show b) => a -> b -> IO() 
printSequence x y = (putStr . show) x >> (putStr . show) y 

printSequence' :: (Show a, Show b) => a -> b -> IO() 
printSequence' x y = print' x >> print' y 
    where print' = putStr . show 

Первый компилируется нормально, но второй производит ошибку:

Could not deduce (a ~ b) 
    from the context (Show a, Show b) 
     bound by the type signature for 
       printSequence' :: (Show a, Show b) => a -> b -> IO() 
     at test.hs:8:19-53 
     `a' is a rigid type variable bound by 
      the type signature for 
      printSequence' :: (Show a, Show b) => a -> b -> IO() 
      at test.hs:8:19 
     `b' is a rigid type variable bound by 
      the type signature for 
      printSequence' :: (Show a, Show b) => a -> b -> IO() 
      at test.hs:8:19 
    In the first argument of print', namely `y' 
    In the second argument of `(>>)', namely `(print' y)' 
    In the expression: (print' x) >> (print' y) 

Я понимаю эту ошибку, означает, что GHC требует, x и y быть эквивалентным типа. Я не понимаю, почему. Заявления вроде print "fish" >> print 3.14 работают отлично в интерпретаторе, так почему GHC жалуется на x и y - разные типы, когда я вызываю функцию print' два раза раз?

Answer 1

добавить явный тип подписи:

printSequence' :: (Show a, Show b) => a -> b -> IO() 
printSequence' x y = print' x >> print' y 
    where 
    print' :: Show a => a -> IO() 
    print' = putStr . show 

или использовать NoMonomorphismRestriction:

{-# LANGUAGE NoMonomorphismRestriction #-} 

printSequence' :: (Show a, Show b) => a -> b -> IO() 
printSequence' x y = print' x >> print' y 
    where 
    print' = putStr . show 

тогда

\> printSequence' 5 "five" 
5"five"