Trait bounds as Documentation

Use trait bounds to communicate the capabilities and limitations of functions to other developers.