问题描述
深入研究 Arrow 的代码库，我发现此弃用警告高于更高级的类型。
Higher Kinded types and their related type classes will no longer be supported after Arrow 0.13.0. Most relevant APIs are Now concrete over the data types available as members or top level extension functions
谁能激发这个选择和提议的替代方案？或者给我指点一些关于这个主题的相关文档？
提前致谢
解决方法
Raul Raja 在 Kotlin-slack 的 Arrow-channel 上写了这个：
对于那些想知道《绿箭侠》中高等种类的未来的人： 种类正在消失，因为它们的编码迫使用户调用 .fix() 并且没有编译器插件就没有解决方法。 一旦编译器插件可能在 1.5 之后得到正确支持，那么我们将重新审视种类，但不是提供所有这些样板，我们将提供比现在更深入、更好的集成。 Arrow Meta 已经有了这种支持，但在 Kotlin IDEA 插件支持编译器插件之前，它不能分发给用户。届时将重新审视种类。 由于 Arrow 目前正在接近 1.0 的最终编码，我们无法发布一个 1.0，其中整个库和大部分用户代码都依赖于当前形式的 Kinds，并承诺长期维护。