test = qux (\ a -> f a >>= \ b -> return (a, b))