Type Alias OnlyIf

pub type OnlyIf<A: Bool, B: Bool> = <A as BoolOnlyIf<B>>::Output;