- ex_to<foo>(obj) is a good candidate for asserting is_a<foo>(obj).