Comment by 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.