3 ms·

You're assuming that deconstructing and exhaustive patterns will continue to be restricted to ADTs only. That may or may not be the case.

• marginalia_nu 3y ago
  Not really, I'm just highlighting that this is possible with records today. .