Syntactic sugar of cons.