“ + a + b +”增量如何工作？

Question

正如我所说，我不知道+ a + b +在以下代码中的工作方式：

foo :: Program -> Int
foo = length . filter f
    where f (Front (Val {})) = True
          f _ = False