The Hidden Data Flow in Types
On the surface, function types simply describe inputs and outputs—indeed, that's how they're used in most type systems. But there's more to function types!
Fascinatingly, a function type can be transformed into a data flow graph that predicts the inner workings of any function that has that type. Using this graph, intricate dependencies between function inputs and outputs can be inferred