typed prompt-less shift/reset in Koka language

typed-delimcc.kk

module typed-delimcc

public effect subcont0<a> {
  fun shift0(f : (b -> a) -> a) : b
}

public fun reset0(th : () -> subcont0<a> a) : a {
  handle(th) {
    shift0(f) -> f(resume)
  }
}

public effect subcont<a> {
  fun shift(f : (b -> div a) -> a) : b
}

public fun reset(th: () -> <subcont<a>, div> a) : div a {
  handle(th) {
    shift(f) -> unsafe-nodiv{reset{unsafe-nodiv{f(resume)}}}
  }
}