Define List a and implement ^++ function