Comment by int_19h

Most of those abstractions and baggage come from the need to be able to represent and propagate lifetime constraints, though.