いけがみです。訂正ありがとう。

はい、イディオムでは foldr です。まちがえました。(3度目)

myLength :: [a] -> Int
myLength = foldr (\x y -> y + 1) 0
                 = foldr (const (+ 1)) 0

です。foldl と foldr の時間的計算量について気になりましたが、
以下を読んで納得しました。
http://en.wikibooks.org/wiki/Haskell/List_processing

2010年2月1日22:04 Masahiro Sakai <masahiro.sakai@g...>:
> 酒井です。
>
> From: IKEGAMI Daisuke <ikegami.da@g...>
> Date: Mon, 1 Feb 2010 10:40:13 +0900
>
>> 以下のように再度訂正してください：
>> foo :: A -> B
>> foo [] = s
>> foo (x : xs) = h x (foo xs)
>> は、A が帰納的に定義できれば「必ず」 foldl で、
>> 書き直すことができます。h は2引数です。
>> この場合は、
>> foo = foldl h s
>> となります。
>>
>> 今回は A が [a] で、リストは空リスト [] と帰納的結合(:)
>> から構成されるので、fold の idiom が使えます。
>
> foldl ではなく foldr だと思います。
>
> -- 酒井
>