[boost] Re: [RFC] indexed_types (was variant==dependent pair, dependent function possible?