ruff

b2c2fcd1 - [ty] Test callable quantifier algebra