FWIW, I had previously bookmarked these related pages:<p><a href="http:&#x2F;&#x2F;smallshire.org.uk&#x2F;sufficientlysmall&#x2F;2010&#x2F;04&#x2F;11&#x2F;a-hindley-milner-type-inference-implementation-in-python&#x2F;" rel="nofollow">http:&#x2F;&#x2F;smallshire.org.uk&#x2F;sufficientlysmall&#x2F;2010&#x2F;04&#x2F;11&#x2F;a-hind...</a><p><a href="https:&#x2F;&#x2F;github.com&#x2F;tomprimozic&#x2F;type-systems" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;tomprimozic&#x2F;type-systems</a>