Interesting.. it somewhat ties to what people are doing in programming languages with linear/affine types, representing resources that can be passed around but

Interesting.. it somewhat ties to what people are doing in programming languages with linear/affine types, representing resources that can be passed around but not duplicated.