Introduce `where` clauses

Here I added `where` clauses to the example.

Notes: 
* I don't know if they're only used in `impl`'s
* It may only be convention that bounds are typically applied in the first instance of the type but I thought it good to note it.