Don't use a turbofish when all parameters are lifetimes.