Y <- to f X -> to g Z