Anybody have thoughts on the expression problem in the context of dependently types languages like Agda or Idris?
(Excerpt is from alpmestan.com/servant/servan)
Conversation
Replying to
Not sure of the expression problem, but I think Servis still uses type classes a bit to allow for 'open functions': github.com/arianvp/servis
I think you still get value out of having first class types though!