lib.aca55a/type-level archive