Z by Example: Generics