context demo

type UserId = String where NonEmpty

actor User { auth = Bearer(secret = "S"), identity = UserId }

service api from http {
  on GET("/x") by User | Visitor () -> Effect[HttpResult[String]] {
    Ok("x")
  }
}
