typed KO