> Named Impls and Trait Bound Parameters

So they're finally rediscovering OCaml!