さっき書いたsortのやつ、case of使わないで書きなおしてみました。case ofとかOCamlのmatch withとか使わなくても普通にパターンマッチできるのスゴイですHaskell感動しました

sort2.hs

mysort2 :: [Int] -> [Int]
mysort2 [] = []
mysort2 (first : rest) = insert (mysort2 rest) first
        where 
            insert [] n = [n]
            insert (first : rest) n
                    | first < n = first : insert rest n
                    | otherwise = n : first : rest