[egranata_aria]

No. Should it? i.e. would it be useful/valuable to do for a scripting language? I am happy to hear suggestions and thoughts on that. Open a GitHub issue & let's chat?

[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.