∀(f : { bar : Text, foo : Text } → Bool) → Bool