`PolyCont_+:_Domain_LastValue`
given `PolyCont_+:_Domain_LastValue`[Index <: Int, Keyword, Domain, LastValue](using val dsl: PolyCont[Keyword, Domain, LastValue], val valueOfIndex: ValueOf[Index]): PolyCont[WithIndex[Index, Keyword] +: Nothing, Domain, LastValue]