$ pointfree "\a b c d e f g h -> foo (bar a b) (baz c d e) f (quux g h)"

flip flip quux . ((flip . ((flip . ((flip . ((flip . (((.) . (.)) .)) .)) .)) .)) .) . flip flip baz . (((.) . (.) . (.) . foo) .) . bar