> _QualifiedPathType_ (`::` _PathExprSegment_)<sup>+</sup>
>
> _QualifiedPathType_ :\
-> `<` [_Type_] (`as` _TypePath_)? `>`
+> `<` [_Type_] (`as` _TypePath_)<sup>?</sup> `>`
>
> _QualifiedPathInType_ :\
> _QualifiedPathType_ (`::` _TypePathSegment_)<sup>+</sup>