Figure 1c: Typelist containing three types