That's pretty cool! Too bad Rust doesn't support higher-kinded types...