For example, `foo::<T>::bar::<U>`.

This doesn't enforce that the type parameters are in the right
positions, however.