import list;

main = append [1,2,3] [4,5,6];
main = flatten [[1,2,3],[4,5,6]];