type varieties