我开始理解forall关键字是如何在所谓的“存在类型”中使用的，比如:然而，这只是forall用法的一个子集，我根本无法理解它在这样的情况下的用法:或者解释为什么它们不同:或者整个RankNTypes