type(div) not in foo
