exploring quasiquote solution in TypeDiscovery
playing with autoproxy