the example below should pass type checks, but is not accepted by mypy. The example defines a simple generic function that chains two other functions (f1, f2 -> f2 ∘ f1). When I pass a generic ...