Yeah Traits give you more than just the type of the output, they let you specify how it must be called to get that trait, that's a key capability for writing ge

Yeah Traits give you more than just the type of the output, they let you specify how it must be called to get that trait, that's a key capability for writing generic code. Sure I can write a to_string() method but someone else will call it ToString() and I can't use it. If we both impl Display then it's all good.