higher order structure