Macro impl_fact 

macro_rules! impl_fact {
    ($type:ty, $name:expr) => { ... };
}

Macro to implement Fact trait easily