pub type ValX = ValX<Val>;
A value or an eXception.
pub enum ValX { Ok(Val), Err(Exn<Val>), }
Contains the success value
Contains the error value