> I don't think there's a good way to implement "type-level projection" > from records. If you share some of the context where you want to use > such an operation, I may be able to suggest an alternate idiomatic > technique. Still toying around trying to understand more of the concepts and limitations. Marc Weber