Anyone coming to Kotlin from other FP langs can take Arrow and learn the Kotlin syntax and they know how to use the lib with minor ramp up. So FP brings programming portability of concepts to different langs and I think that is a great skill for people practicing FP. If we rename things we break that property.