let l : list(int) = 1 :: 2 :: 3 :: [||]