foo = qux (\f -> h f >>= g)