Currently `[H|T]` is sugar for `cons(H,T)`, but this syntax should be more general and allow this form: ``` [H1, H2, ..., Hn | T] ``` Which translates to: ``` cons(H1, cons(H2, ..., cons(Hn, T)...) ```