final bad type