Optimized type variables