3 ms·...by bgwalter 11mo ago...steveklabnik 11mo agoThere's a deeper connection there: lifetimes are a form of type variable, just like in OCaml.deleted 11mo ago[deleted]