Restricting Type Sets with Interfaces

Use interface embedding to define complex constraint requirements.