Another use of `cons`