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