Hi. reflection is about selecting a type instance of a typeclass that is known to exist over type. Completely different thing. Monads ... I guess, using monadic context in some way is an option, but not exactly what I have in mind. Still, worth looking into. On Thu, 16 May 2019 at 10:20, Georgi Lyubenov wrote:

Hi,

It seems like the "extensible" parts you want is something similar to most extensible effects stuff. Perhaps check out the "Member stuff" from the "Freer Monads, More Extensible Effects" paper and some EE libraries (freer-simple, fused-effects, polysemy)? Also, if you want runtime typeclasses reflection http://hackage.haskell.org/package/reflection can help.

======= Georgi