The error invariant() throws: a programmer error, never an expected failure. Tagged so a top-level handler can tell "a bug fired" apart from a failure that should have been an Either.
invariant()
Either
The error
invariant()throws: a programmer error, never an expected failure. Tagged so a top-level handler can tell "a bug fired" apart from a failure that should have been anEither.