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)

I don't really see how this is relevant to typeclasses though ^^