InterfaceOnPositions : AddCont -> (Type -> Type) -> Type
Convenience datatype storing the property that an additive container `c` has an interface `i` on its positions