revised types