A small library for containers build on agda-premises