Do You Need to Understand Arrows or Arrow Effects or the Likes?

The whole idea is let's bring this idea of functional domain model in and a strong typing more into the Kotlin ecosystem. So could you give us some insights on what I can do when I add arrow analysis to my project that I couldn't have done before? Right, so for example, check that every time you are using a list and you are taking the first thing, so you call dot first, arrow analysis will actually check that those are correct. All these kind of things are added and these are extra checks that will done during compilation time.