Proofs can be inductive and ploted on a graph to f...

# arrow-contributors

[raulraja]

Proofs can be inductive and ploted on a graph to find shortest paths. So if you have A -> B, and B -> C you can have a proof of A to C, and that allows you to merge their APIs just with intersection or even subtyping if that is a type you would have otherwise extended but you can’t because it’s a third party.