深入研究Arrow的代码库，我在高级类型上面发现了这个弃用警告。
高级类型及其相关的类型类将不再是Arrow 0.13.0之后支持。大多数相关的api现在都是具体的作为成员或顶级扩展函数可用的数据类型
谁能激励这个选择和提议的替代方案?或者给我指出一些关于这个主题的相关文档?
Raul Raja在Kotlin-slack的箭头频道上写了这篇文章:
对于那些想知道《绿箭侠》中高等物种未来的人:类型正在消失，因为它们的编码迫使用户调用.fix()，并且没有编译器插件就没有解决方法。一旦编译器插件得到适当的支持(可能在1.5之后)，我们将重新审视各种类型，但我们将提供比现在更深入、更好的集成，而不是提供所有这些样板。Arrow Meta已经有这个支持，但它不能分发给用户，直到Kotlin IDEA插件支持编译器插件。届时将重新讨论各种类型。由于Arrow目前正在接近1.0的最终编码，我们不能发布一个整个库和大多数用户代码都依赖于当前形式的types的1.0，并承诺长期维护它。