Factored out LazyType