100% type-safe Packages