enforce type