O inventário de agda_ está atualmente com a visibilidade privada.