and then gen types accordingly