As I see it, z is a different type than x and y. It’s the causal arrow linking x to y. The existence of a second causal arrow would make it second-order.