let main = head Nat 2 (map Nat Nat (plus 3) 3 (Cons Nat 2 1 (Cons Nat 1 2 (Cons Nat 0 3 (Nil Nat)))))