// Invalid because nested hk type parameters are no longer allowedimportscala.language.higherKindsobjectBug{classTag[W[M1[X1]]]defofType[W[M2[X2]]]:Tag[W]=???typeInSeq[M3[X3]]=Some[M3[Any]]// failvalx=ofType[InSeq]// okayvaly:Any=ofType[InSeq]objectT{valz=ofType[InSeq]}}