SmallCheck相关问题。
如果我编写了实例Series m [Something]，那么如何从中创建Series m Something？这个列表出现在类型中是因为我有 4 个系列并且我想生成它们的排列系列（又名按任何顺序），所以我使用Data.List.permutations并得到了列表。所以我有一系列列表，我知道系列可以统一，但我不明白如何使用这个事实。我也可以创建Series m (Series m SomethingElse)，但它看起来更复杂。在这种情况下如何处理排列？如何将它们转换为简单的Series m Something？