{\cons a {b c}}
{\push-back a {b c}}