Figure 17: The selective type.