Most people start with the basic data types but IMO the killer feature in Arrow is Ad-Hoc Polymorphism, if you depend on type classes and perform only Effects in the monadic context of

F

you can create entire pure programs that entirely independent of the runtime data types that backs their declaration.

I suppose this is the closest we can get to a non-typed FP (e.g. Clojure) in Kotlin, right? But, on the other hand, from a pragmatic programmer’s POV, the syntax you showed (

DefaultTagService

) looks, well, complicated 😉

I think it may be unfamiliar as with anything new that is different from the ways we are used to see things.

I will definitely look into this 🙂 Thanks again, and keep up the good work! 😄