Example 2. Four Through-Composed Types