Add trait type checking example.