fun len [] = 0 | len (h::t) = 1 + len t;この書き方は、どうも納得いかない。 は関数適用よりも結合度が弱いので、(h::t)のように括弧が必要になるのはわかるが、fun構文の中だけ特別扱いしても良いのではないかと思う。先頭は関数名に決まっているのだか…