> Result<T, E> is required to be checked before the value can be accessed. Which is a flaw in Borgo, at least when interfacing with Go code, as in Go both T an

> Result<T, E> is required to be checked before the value can be accessed. Which is a flaw in Borgo, at least when interfacing with Go code, as in Go both T and E should independently valid states.