我最近发现了如何 以某种迂回的方式在 Java 中模拟高阶类型，如下所示
interface H<F, T> { }
这里H编码一个高阶类型，它采用类型参数，F该类型参数本身采用参数T。
现在这让我想知道，我们可以用它来实现一些更高级的构造吗？例如，Haskell 中的 Fix 等函子的不动点及其相应的变形？
java functor higher-kinded-types catamorphism fixed-point-iteration