Guide: generics

I don't get this either. What's this? Do you mean that if someone implemented `HasArea` for `int` (which is bad), it doesn't hurt you unless you use the trait? I think being more specific might help...