(letrec (concatN : [Int] -> [Int] -> [Int] l1 : [Int] l2 : [Int])
  (if (isnil l1)
    l2
    (let (h) (head l1)
    (let (t) (tail l1)
      (cons h (concatN t l2)))))
  (concatN (cons 2 nil : [Int]) (cons 1 nil : [Int])))