<1, 2, 3, "">1>; ^ (Line 2 char 14): ERROR: Type mismatch