Typed list corrected