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