[완료]Ocaml 리스트에 대해..

Ocaml 이라는 함수적 언어를 다루고 있는데.. 새로운 개념이라 잘 이해하기가 힘드네요
특히 list 를 이해하기가 난해한데, 안에 들어갈 수 있는 타입과 List.function()으로 불러오는 각종 라이브러리 함수들의 내용이 정말 많고 이해하기가 힘들어서.. ㅠㅠ
특히 이런 상황에서는 어떻게 해야할지..
list 안에는 list 를 다시 담을 수 있는데 ( [ [1; 2; 3]; [4; 5; 6] ];; 이런식으로) , list를 다루는 패턴 매칭중에 head::tail 형식으로 헤드부분을 떼내어서 많이 다루더군요
그럼 list 를 담은 list 에서 head::tail 로 헤드를 꺼내면 첫번째 리스트가 나오겠죠 당연히?? ( -> [1;2;3] = head 로)
그럼 이 head 를 다시 head::tail 형식으로 꺼낼 수 있나요??
최종적으로 하고싶은것은 list 를 담은 list 를, 하나의 list 로 concatenate 하는 것입니다..
( [ [1; 2; 3]; [4; 5; 6;]; [7; 8; 9] ] -> [1;2;3;4;5;6;7;8;9];; 이런식으로)
뭔가 꼬이고 직관적이지 못해서 이해하기가 정말 난해하네요.. 조언을구합니다 ㅠㅠ