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) position types are the types of natural numbers less than the shape, for each shape. For trees, the shape type is the type of trees of units (that is, trees with no information in them, just structure). The corresponding position types are isomorphic to the types of valid paths from the root to particular nodes on the shape, for each shape. Note that the natural numbers are isomorphic to lists of units. In general the shape type will always be isomorphic to the original non-generic container type family (list, tree etc.) applied to unit. One of the main motivations for