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) introducing the notion of containers is to support generic programming in a dependently typed setting. The extension of a container is an endofunctor. It takes a function codice_1 to formula_1 This is equivalent to the familiar codice_2 in the case of lists, and does something similar for other containers. Indexed containers (also known as dependent polynomial functors) are a generalisation of containers, which can represent a wider class of types, such as vectors (sized lists). The element type (called the "input type") is indexed by shape and position, so it can vary by shape and position, and the extension (called