-- input
foo =  {- comment attached to x -}x >>= g . f