How to create an efficient group by function without mutation?

Question

Is there a way to efficiently implement a group by function without mutation?

Naive implementation:

• ReScript playground
• JavaScript (see below)