I've been playing around with type mapping like this in a highly experimental crate. The ability to map, filter and reduce types is insanely powerful but it's tough to get ergonomic syntax.

https://docs.rs/tuplemagic/latest/tuplemagic/index.html