simple type restriction