用 Kotlin Arrow 写到快发疯ㄌ
IntelliJ 都不好好做型别提示害我要一直用变量确定现在的写法型别对了再把变量消掉
不过 Kotlin 的 type inference 好强
屌打 C++20 以前的 template type deduction