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