refactor(logic/small, *): Infer f : α → β when followed by a simple condition on f (#11037)
f : α → β
f