「manlen (0,0) p == n」の解釈について

manlen p1 p2 = abs(fst p1 - fst p2) + abs(snd p1 - snd p2)
points n = [(x,y) | x <- [-n .. n], y <- [-n .. n]]
mancircle n = [p | p <- points n, manlen (0,0) p == n]

最後のリスト内包表記内の、manlen (0,0) p == nがよくわかりません。
manlen の引数に p == nを取っているのはなぜなんでしょうか？