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
Polynomial functor (type theory) be a family of types indexed by . The pair (, ) is sometimes called a signature or a container. The polynomial functor associated to the container (, ) is defined as follows: Any functor naturally isomorphic to is called a container functor. The action of on functions is defined by Note that this assignment is not only truly functorial in extensional type theories (see #Properties). In intensional type theories, such functions are not truly functors, because the universe type is not strictly a category (the field of homotopy type theory is dedicated to exploring how the universe type behaves