[pshirshov]

In my opinion these features (and powerful type systems in general) would be useful for any language regardless of the execution model.

[egranata_aria]

I am happy to have the discussion. What would help me is a GitHub issue with some example/rationale why you think this would help. That would be an ideal starting point. As-is, I am a bit lost how typeclasses would work with dynamic typing and all that, but maybe I am missing the point.