Type-generator Packages