问Haskell:提取遗传算法

EN

我是Haskell编程领域的新手，我正在尝试一种简单的遗传算法来寻找旅行商问题的良好解决方案。我将解决方案表示为整数上的排列，所以我有这种类型的同义词

type Genome = [Int]

算法本身是一组对解决方案进行运算的函数：

mutation :: Genome -> Genome
selectParents :: [Genome] -> [Genome] -> [Genome]
crossover :: Genome -> Genome -> (Genome, Genome)
selectSurvivors :: [Genome] -> [Genome] -> [Genome]

我不确定我的代码中有多少与我的问题相关，所以如果需要更多细节，请询问。值得一提的是，上面的类型签名实际上被简化了，我实际上使用State monad携带一个StdGen，所以所有这些函数实际上都返回有状态计算。

有几件事我想用它来做，但是我不能完全理解。我希望能够为解决方案选择不同的表示形式，在我看来，这是使用类型类的一个自然位置，这样Genome就是类型类，而[Int]就是这个Genome的特定实例。

现在，我希望能够试验实现，并且能够在其他项目中使用代码。使用这样的类型类需要我创建的每个新算法都需要创建Genome的另一个实例，这是创建库的好方法吗？

一个额外的问题，就是一直困扰我的一件事，有没有办法为一个函数创建一个类似于类型同义词的东西，这样如果我正在编写一个以函数为参数的函数，我可以写出同义词而不是函数的整个类型签名，这样就可以像下面这样工作了。

type someFunc = [Int] -> [Int] -> Int
someOtherFunc :: someFunc -> [Int] -> Int

是的，希望这是对问题的足够清晰的解释，感觉我错过了非常明显的答案，但它没有突然出现在我面前。干杯