([] : a) : b