2012-08-30 19:04:17 +0900 #haskellsap 「max 4 5」は、「(max 4) 5」("max 4" という関数に "5" を引数として与える)とみなされる。max関数の型 (Ord a) => a -> a -> a は、 (Ord a) => a -> (a -> a) と解釈できる。
2012-08-30 19:11:13 +0900 #haskellsap ghciで「:t max」とすると「max :: (Ord a) => a -> a -> a」(2引数の関数)と表示され、「:t max 4」とすると「max 4 :: (Ord a, Num a) => a -> a」(1引数の関数)と表示される。