Result*[T] = object
  case isSuccess*: bool
  of true:
      value*: T

  of false:
      error*: ref Exception

  

InstantationInfo* = tuple[filename: string, line: int, procname: string]

proc getOriginal*(exc: ref Exception): ref Exception

proc printError*(err: ref Exception)

proc isError*[T](r: Result[T]): bool

proc just*[T](r: T): Result[T]

proc just*(): Result[void]

proc fillExceptionName*[Exc: ref Exception](exc: Exc)

proc error*[T, Exc: ref Exception](typename: typedesc[T]; theError: Exc): Result[T]

proc error*[T](typename: typedesc[T]; theError: string): Result[T]

proc get*[T](r: Result[T]): T

proc `$`*[T](r: Result[T]): string

proc onSuccessOrErrorR*[T](f: Result[T]; onSuccess: (proc (t: T));
                          onError: (proc (t: ref Exception)))

proc onSuccessOrErrorR*(f: Result[void]; onSuccess: (proc ());
                       onError: (proc (t: ref Exception)))

proc getResult*(r: Result): auto

proc isCompleted*(r: Result): bool

template catchError*(e: untyped): untyped