yeah, and if we made it type system driven (some kind of annotation on the

relation

I'd wager), then it would only affect performance minimally