let cons x l = x :: l