test data type and newtype