功能示例

什麼是 (+)？

λ> :t (+)
(+) :: Num a => a -> a -> a

什麼是 sqrt？

λ> :t sqrt
sqrt::Floating a => a -> a

什麼是 sqrt . fromIntegral？

sqrt . fromIntegral :: (Integral a, Floating c) => a -> c