Interesting idea. I feel a bit conflicted about it, but it's probably something I'd have to think about. I suppose it's possible to somewhat approximate this i

Interesting idea. I feel a bit conflicted about it, but it's probably something I'd have to think about. I suppose it's possible to somewhat approximate this in existing Rust by creating a trait with a function that returns a destructure-able type, performing the transformations that you would have implemented in your hypothetical trait, then pattern match over that. Not sure if that would be "good enough".