-- The Either type, and associated operations.
--
-----------------------------------------------------------------------------
-- The Either type, and associated operations.
--
-----------------------------------------------------------------------------