The general concept you're looking for here, I think, is a monoid homomorphism, which also underlies xi-rope. If you can define your own value types, then it seems likely you can do this kind of thing.