Modify TypeInfo.Variant
Enable list type inference