Those are big features of Haskell that I see implemented in this repo that I couldn't see in Coconut.

But I could be mistaken. I don't know much about Coconut.

> Does Coconut support static type checking?

> Yes! Coconut compiles the newest, fanciest type annotation syntax into version-independent type comments which can then by checked using Coconut’s built-in MyPy Integration.

So it uses MyPy. I've never seen documentation on what overall algorithm they use, and the code[2] is not an easy read.

[1]: https://coconut.readthedocs.io/en/master/FAQ.html#does-cocon...

[2]: https://github.com/python/mypy/blob/master/mypy/typeanal.py