Haskell：パターンの解析エラー

Question

このコードの何が問題なのか（構文的に）教えてくれるのは誰ですか？

-- merge two sorted lists
mergeX [] b res = b ++ res
mergeX a [] res = a ++ res
mergeX a:as b:bs res
    | a > b     = mergeX as b:bs a:res
    | otherwise = mergeX a:as bs b:res

通訳：

パターンの解析エラー：mergeX

Answer 1

括弧が必要です：

mergeX [] b res = b ++ res
mergeX a [] res = a ++ res
mergeX (a:as) (b:bs) res
    | a > b     = mergeX as (b:bs) (a:res)
    | otherwise = mergeX (a:as) bs (b:res)

理由は:は関数適用よりも優先順位が低いため、mergeX a:as b:bs resは次のように解析されます。

(mergeX a):(as b):(bs res)

これはエラーです。

Answer 2

コンストラクターパターン（またはそれらが呼び出される方法）を括弧で囲む必要があります。

mergeX (a:as) (b:bs) res