(#a)(#b)(#c)(#d) (*a?[x](x![a] + c?[]e![]) |*b?[x](x![b] + d![]) |a![b])