En este ejemplo, Vala se asegura que sólo los objetos del tipo indicado puedan ser añadidos a la lista, y todos los objetos que sean devueltos serán también de ese tipo (o convertidos a ese tipo).