If value can be a bar then I think the whole concept is an intractable problem. (Unless you know about bar and special case it, and given that the original issue was how to do this elegantly, that fails heavily.)