[tcfhgj]

now show me an alternative syntax encoding the same information

[bgwalter]

...

[steveklabnik]

There's a deeper connection there: lifetimes are a form of type variable, just like in OCaml.