Data.Container.Additive.Extension.Definition

Definitions

Ext : AddCont -> Type -> Type

  If extension of a container is a functor Type -> Type, what is an extension
  of an additive container?

Totality: total
Visibility: public export