Note that this is still very much a WIP :) I guess I should also mention my inspiration, the C++ dyno library (https://github.com/ldionne/dyno https://github.c

Note that this is still very much a WIP :) I guess I should also mention my inspiration, the C++ dyno library (https://github.com/ldionne/dyno https://github.com/ldionne/dyno) I don't really see how this is relevant to typeclasses though ^^