Update link to example code.
Stop warning about type defaults.
Removing the need for the ConstraintKinds extension.
Cleaning up compiler warnings.