Figure 1b: Typelist containing two types