This, plus abilities[1](what Unison calls algebraic effects), make Unison such a joy to work with, it's a very pleasant experience. You can get straight to the business logic.

I also hope it catches on, but Unison right now really gives a pleasant experience.

[1]: https://www.unison-lang.org/docs/fundamentals/abilities/