GHCを入れてこのへんを読む。凄ぇ…。型推論で定義が一般化してる。 クイックソートの定義が、 quicksort [] = [] quicksort (x:xs) = quicksort [y | y ++ [x] ++ quicksort [y | y = x ]で終わるらしい。|が写像内包？で、演算子が一般化されてへんから数に…