[Haskell-cafe] transformation of point-free expressions

[Daniel Fischer]

G'day ye all,

is there an *elegant* way to transform

( (.) (flip (.) (flip ($)))) . flip (.) . flip (.)

to the more compact form

flip (.) . flip ?

And more general, is there an algorithm to simplify such expressions (other 
than take a piece of paper, apply it to the appropriate number of arguments 
and see what you get)?

Thanks in advance,
Daniel