Instantiator for Expected from an expected value expectedValue.
Instantiator for Expected from an unexpected value unexpectedValue.
Union (sum) type of either an expected (most probable) value of type T or an unexpected value of type E (being an instance of type Unexpected!E).
Wrapper type for a sum-type (union) of an unexpected and expected value.