type(true ? list : ok)
