Add type constraint example.