続Haskellにはどうしてfor文がないんだ？

「要らないから」というのが僕の答え。イラン、イラン。
ちなみに昨日のuniqって関数の定義無くても動くな。これが型推論かな。あれは...いいものだ。

uniq []       = []
uniq (x:xs) = x : uniq (filter (/= x) xs)

追記) nubって関数があった。nubって、何のことだ？