Type Alias ConditionalType 

pub type ConditionalType<T, F, const C: bool> = <ConditionalImpl<T, F, C> as Conditional>::Type;