[steveklabnik]

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