Lazy creation of an expensive ivy type.