Что такое фиксированность операторов backtick?
Например, в этом коде из Real World Haskell:
ghci> (1+) `fmap` [1,2,3] ++ [4,5,6]
[2,3,4,4,5,6]
Очевидно, оператор backtick `fmap` имеет более высокую фиксированность, чем ++, но none не задано GHCi.
§4.4.2 в отчете Haskell говорится, что
Предполагается, что любой оператор, не имеющий объявления о фиксации, является infixl 9
"Любой оператор" включает в себя обычные имена функций в обратных окнах.
В вашем примере показано, что `fmap` имеет более высокую степень достоверности, чем ++, потому что ++ действует на результат fmap.