How to reflect concrete types that corresponds to the type parameters of an abstraction type in Scala?

Question

Suppose we have a generic type (for example, Seq[E]) and a concrete subtype (for example, Seq[Int]). How can we extract concrete type that correspo