foo a b c = do

some a b c

foo a b c

と書くより

foo a b c = fix \go -> do

some a b c

go

みたいに書いたほうが、ほんのすこし見やすい気がする。

何かって言うと、foo a b cじゃなくてfoo a b' cみたいになってないかとか、そういうあたりに気をつかわなくてすむとかそういう。