(f g) data => data f (g data)