Agda.Packaging.Types