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