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