A simpler newtype.