Module Result

Result<e, a> carries either .ok a or .err e.

let try value = Result.Always(value)

type Result<e, a> = either {
  .err e,
  .ok a,
}

A value that is either .ok a or .err e.

dec Result.Always : <a>[Result<either {}, a>] a

Extracts the .ok branch from a Result<either {}, a>.