Strong-typed Packages