Trait Problem
alder
pub trait Problem: Debug + Display { }
impl<P> Problem for P where P: Debug + Display,