Container-deposit legislation operated by Stichting Retourverpakkingen NL, is mostly automated collection (89%) with only 11% of returns being done manually. Beer bottles carry a €0.10 deposit, and beer crates €1.50. In 2014, the Netherlands' deposit system recovered 95% of the containers covered by the program. New Zealand had no container-deposit legislation until 2008 when the Waste Minimisation Act 2008 passed into law. The Act has provision for product stewardship of which container-deposit legislation is the most familiar type. there is no widespread deposits available on containers with some beer bottles being a notable exception. Automated recycling of bottles has been in use
Container (type theory) Container (type theory) In type theory, containers are abstractions which permit various "collection types", such as lists and trees, to be represented in a uniform way. A (unary) container is defined by a type of "shapes" S and a type family of "positions" P, indexed by S. The "extension" of a container is a family of dependent pairs consisting of a shape (of type S) and a function from positions of that shape to the element type. Containers can be seen as canonical forms for collection types. For lists, the shape type is the natural numbers (including zero). The corresponding