Implements a lightweight Either monad for handling computations with two possible outcomes, enhancing error handling and functional programming patterns.