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 t

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 https://docs.rs/tuplemagic/latest/tuplemagic/index.html