itsme213 wrote:

> Florian Gross' Binding.of_caller could probably be used to prototype ideas
> like this, but it would take someone considerably smarter than me (Florian?)
> to explore this :-)

I fear I'm not smart enough to understand all this pattern matching 
stuff just yet. But I'd certainly be willing to help out with getting 
Binding.of_caller to work.