use of `cons`