Type Alias One 

pub type One = Suc<Zero>;

Aliased Type

pub struct One(/* private fields */);