On a second thought, this may be more in the direction of linear types.