thinking in haskell-类型

环境搭建和参考 https://learnyoua.haskell.sg/content/zh-cn/ch01/introduction.html
每个表达式都有一个类型，ghci检查类型

ghci> :t 'a'  
'a' :: Char  
ghci> :t True  
True :: Bool  
ghci> :t "HELLO!"  
"HELLO!" :: [Char]  
ghci> :t (True, 'a')  
(True, 'a') :: (Bool, Char)  
ghci> :t 4 == 5  
4 == 5 :: Bool