pub type List<Head, Tail> = (Head, Tail);
A Bag containing Head and the elements from Tail: Bag.
Bag
Head
Tail: Bag