Container (type theory)

Known as: Container (disambiguation), Dependent polynomial functor, Indexed container

In type theory, containers are abstractions which permit various "collection types", such as lists and trees, to be represented in a uniform way. A…