Figure 1a: Typelist containing one type