Seeded Types