https://123dok.org/document/ozlrg26z-partial-type-inference-with-higher-order-types.html