([] : List T) # x # (([] : List T) # y)