Use infix operator ::: for cons