Haskellにラムダ式があるというのに...ラムダ式が中途半端であるものか。

あと、関数がファーストクラス、という表現がよく使われるけど、
プログラミング言語において、ファーストクラスである、と言った場合、
・変数の値にできる
・関数の引数にできる
・関数がその値を返すことができる
の全部を満たすものを言う。