zero-typing product