type Aux[M[_], F0[_]] = NonEmptyParallelTests[M] { type F = F0; Unsupported[Not supported type in refinement AppliedType(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class cats)),object laws),NonEmptyParallelLaws),type Aux),List(TypeRef(NoPrefix,type M), TypeRef(NoPrefix,type F0)))]; }