pub type NonAnswer = Sigma<u8, NotTheAnswer>;
#[repr(transparent)]pub struct NonAnswer { pub value: u8, /* private fields */ }
value: u8
A value of type T that additionally satisfies the predicate P.
T
P