add if<true>(f, args...)