Sketch of possible breakdown of Remote API into effects

remote.u

-- using https://github.com/unisonweb/unison
-- source https://github.com/unisonweb/unison/issues/144

effect Abort where
  Abort : () -> {Abort} a

effect Remote where
  here : {Remote} Node
  transfer : Node -> {Remote} ()

effect Tasks where
  fork : 'a -> {Tasks} Task
  stop : Cause -> Task -> {Tasks} Unit
  supervise : Task -> {Tasks} ('Cause)    -- parens needed around ('Cause) for the moment - see delay_parse.uu

effect Nodes where
  spawn_sandboxed : Sandbox -> {Tasks} Node
  spawn_sandboxed' : Key -> Sandbox -> {Tasks} Node
  spawn : {Tasks} Node
  spawn' : Key -> {Tasks} Node

effect Boxes where
  empty : {Boxes} (Box a)      --  parens needed around (Box a) for the moment - similarly in a few places below
  put : a -> Box a -> {Boxes} ()
  take : Box a -> {Boxes} a
  read : Box a -> {Boxes} a
  access : Box a -> {Boxes} (Optional a, a -> {Boxes} Bool)

effect Names where
  make : {Names} (Name a)
  resolve : Name a -> {Names} (Box a)

effect Durables where
  store : a -> {Durables} (Durable a)
  load : Durable a -> {Durables} (Optional a)   -- not in the version in #144

effect Durables' a where  -- worth separating from the core persistence effects in Durables? Are these even primitives?
  sync_from : Node -> Durable a -> {Durables'} Bool
  load_from : Node -> Durable a -> {Durables'} (Optional a)
  peers : Durable a -> {Durables'} (Vector Node)

effect Foreign a where
  ask : Foreign a -> {Foreign} (Optional a)   -- note name clash between effect and type - problem?

effect Crypto a where  -- maybe not primitive if you have Random and Foreign
  encrypt : Key -> a -> {Crypto} (Encrypted a)
  decrypt : Key -> Encrypted a -> {Crypto} (Either DecryptionFailure a)
  AES256_key : {Crypto} Key
  Blowfish_key : {Crypto} Key

effect Sleep where
  sleep : Duration -> {Sleep} ()

()