Cristiano Calcagno

What would be the default? Optionals? That would be useful.

@gaku-sei is the total time more than the sum of the times, if files are formatted individually?

@gaku-sei there must then be a couple of slow files. That would be a more concrete repro, than the whole 500.

One can export the whole type, or a more abstract version. Is this supported already? It's not crucial that this is supported in the first iteration, but to know that...

Specifying an export level sounds like a promising direction. In general, there can be many possible levels. Consider for example the concrete type `type mylist = list int`, then possible...

@mattdamon108 this topic has grown to be quite substantial. Adding a top-level issue to track the various activities taking place, to coordinate, and so that interested people can follow along.

@mattdamon108 I'm questioning the defaults. Not sure the default should be "do nothing" as in V3. This is likely only confuse people. How about making v4 react classic the default?

I think the vast majority of users will never need to change config. And beginners have 1 less thing to learn. Plus there was a forum post right now about...

Also, there's no setting for "do nothing". So this is a weird initialization.

More messages is OK. Except if it's an error it's a breaking change.