<div dir="ltr"><div>I understand that in general $ is a) right-associative and b) lowest-priority. But if so shouldn't these two be roughly the same?</div><div><br></div><div><span style="font-family:monospace">λ take (succ 10) $ cycle "hello world"</span><br>"hello world"</div><div><br></div><div>But not this?</div><div><span style="font-family:monospace">λ take $ succ 10 $ cycle "hello world"</span></div><div><br><span style="font-family:monospace"></span></div><div><font size="1"><interactive>:20:8: error:<br>    • No instance for (Enum ([Char] -> Int))<br>        arising from a use of ‘succ’<br>        (maybe you haven't applied a function to enough arguments?)<br>    • In the expression: succ 10<br>      In the second argument of ‘($)’, namely<br>        ‘succ 10 $ cycle "hello world"’<br>      In the expression: take $ succ 10 $ cycle "hello world"<br><br><interactive>:20:13: error:<br>    • No instance for (Num ([Char] -> Int))<br>        arising from the literal ‘10’<br>        (maybe you haven't applied a function to enough arguments?)<br>    • In the first argument of ‘succ’, namely ‘10’<br>      In the expression: succ 10<br>      In the second argument of ‘($)’, namely<br>        ‘succ 10 $ cycle "hello world"’</font></div></div>