Trait and
fortraith
pub trait and { type Result; }
Logical and two top elements
forth!( true false and return type Out as top ); assert_eq!(Out::eval(), false);
type Result