I wrote a full implementation of this version in Haskell as part of my dissertation [0]. I&#x27;m linking to a specific commit because in the coming month, I will be modifying it to introduce structural type inference (so that what would typically be considered a data type declaration can also be inferred).<p>[0]: <a href="https:&#x2F;&#x2F;github.com&#x2F;amnn&#x2F;typed_geomlab&#x2F;blob&#x2F;c79c4bbb3179ef66bf6ffbda9b032a0bce94fb87&#x2F;src&#x2F;Infer.hs" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;amnn&#x2F;typed_geomlab&#x2F;blob&#x2F;c79c4bbb3179ef66b...</a>