parametric typealias additional explanation

I added some text to clarify a point that stumped me about parametrized types and typealias.