([] : List Natural) # [1, 2, 3] # ([1, 2, 3] : List Natural) : List Natural