type(true ? foo : foo)
