ハスケル再帰と型エラー

Question

私は自分自身にハスケルを教えています。プログラミング言語を学ぶ最も良い方法はそれを使うことです。私の現在の「エクササイズ」はテイクの実装です。擬似コードです：

take(0, list) = [] --empty list 
take(n, list) = const(head(list), take(n-1, tail(list)) 

私はHaskellで出て働いてきたことである：私はGHCiの中のファイルをロードするとき、これは

myTake :: (Num a) => a -> [b] -> [b] 
myTake 0 l = [] 
myTake n (l:ls) = l : myTake n-1 ls 

コンパイルされません。これは私が取得エラーメッセージです：

Couldn't match expected type `[b]' 
     against inferred type `[b1] -> [b1]' 
In the second argument of `(:)', namely `myTake n - 1 ls' 
In the expression: l : myTake n - 1 ls 
In the definition of `myTake': 
    myTake n (l : ls) = l : myTake n - 1 ls 

私の現在のHaskellのリソースは、「あなたに偉大なこだわりはHaskellを学ぼう！」です私はこれを理解しようと数回タイプのセクションを読んだ。 Googleはそれほど役に立たない。私はまだ完全にタイピングを理解していないと思う。誰が何がうまくいかないのか説明できますか？関数アプリケーションは、任意の中置演算子よりも結合するので

Answer 1

myTake n - 1 ls 

は

(myTake n) - (1 ls) 

ように解析されます。中括弧：

myTake (n - 1) ls