Type factory test