Yep, that should work fine. That implementation is deciding a number of things that are not ok for the proposal in general, but could be useful for specific applications (please don't call it DMLP though! :-). The things it is deciding is:
- Mutability settings for the getter and setter.
- That there is an associated type named Result.
- That it cannot be used as an existential - at least until we have generalized existentials.
It can still be a super useful abstraction point though.
-Chris