(h:t)++list＝h:(t++list)[app2]