We can have some polymorphic lifetime contracts e.g., a received value lives as long as a sent value.