type(ok) in foo
