Fully type-safe Packages