>>557
返信ありがとうございます。

>これは、updateの型をAssocなしで書いてみると分かり易い。
>update :: (a -> b) -> a -> b -> a -> b
>　　　　　　　　h　　 　　x　 　v　 　y

とのことですが、

update :: Assoc a b -> a -> b -> Assoc a b
という定義には、その
>update :: (a -> b) -> a -> b -> a -> b
>　　　　 　h　 　　x　 　v　 　y
　　　　　 　　　　　　　　　　　↑
にあるような、y に相当するパラメータの指定が、
関数定義に存在していないのが理解できません。

これは何か特殊な仕掛けがあるのでしょうか？