Ensure the new type works.