How to write own monad without runtime info in context ?

[mio-19]

I have a stateful non-deterministic monad originally defined like this

trait Trying[State, +Result] {
  def apply(state: State): Vector[Res[State, Result]]
}
final class CpsMonadTrying[State] extends CpsMonad[[X] =>> Trying[State, X]] with CpsMonadContext[[X] =>> Trying[State, X]]

I can use it with async await fine.
I try to change it to

type Trying[State, +Result] = State => Vector[Res[State, Result]]

Then I got complains Async function with arity != 1 is not supported yet

When I am writing this CpsMonad I don't know what is CpsMonadContext for I just make up something to make it compile. I can't find any code or documents about CpsMonadContext to make myself understand

final class CpsMonadTrying[State] extends CpsMonad[[X] =>> Trying[State, X]] with CpsMonadContext[[X] =>> Trying[State, X]] {
...
  override def monad: CpsMonad[WF] = this

  override type Context = this.type

}

[rssh]

About CpsMonadContext - look at this section: https://rssh.github.io/dotty-cps-async/MonadContexts.html
If you have no runtime infrastructure around context, then

final class CpsMonadTrying[State] extends CpsMonad[[X] =>> Trying[State, X]] 
                                                                 with CpsMonadInstanceContext[[X] =>> Trying[State, X]] {
...
   // note - CpsMonadInstanceContext is a type which should be mixed,  not CpsMonadContext
}

Full example can be found ...
https://github.com/rssh/dotty-cps-async/blob/master/shared/src/test/scala/cpstest/CpsContT.scala
(but it's too long, searching shorter ...

[rssh]

Also long, but better fit to non-detemenism theme:

dotty-cps-async/shared/src/test/scala/logic/logict/LogicStreamT.scala

Line 256 in 626ffb6

given [F[_]:CpsTryMonad]: CpsLogicMonad[[A]=>>LogicStreamT[F,A]] with CpsLogicMonadInstanceContext[[A]=>>LogicStreamT[F,A]] with {

[rssh]

Also look at the logic module, https://github.com/rssh/dotty-cps-async/tree/master/logic
where we have a few such monads defined:

https://github.com/rssh/dotty-cps-async/tree/master/logic/shared/src/main/scala/cps/monads/logic