type Of[DSL <: { type -⚬[A, B]; }, BRIDGE <: Of[DSL]] = OfDsl[DSL] { val dsl: this.Dsl; Unsupported[Not supported type in refinement AndType(TypeRef(NoPrefix,type BRIDGE),AppliedType(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class libretto)),object exec),Bridge),type Of),List(TermRef(RecThis(1918950661),dsl))))]; }
type OfDsl[DSL <: { type -⚬[A, B]; }] = TestKit { type Dsl = DSL; }
type Ofp[DSL <: { type -⚬[A, B]; }, BRIDGE <: Of[DSL], P[_]] = Of[DSL, BRIDGE] { type ExecutionParam = P; }