Creates the left side of the disjoint union with provided value.
Creates the left side of the disjoint union with provided value and specific right type.
Runs provided action and captures the result in Either. Use to capture result of given potentially throwing code.
Creates the right side of the disjoint union with provided value.
Creates the right side of the disjoint union with provided value and specific left type.