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