最も一般的なtypeclass関数型を使用する

Question

私はHaskellで単純な遺伝的アルゴリズムを書こうとしています。私は、最初のステップは、「遺伝的」であり、個人のための型クラスを作るので、好きにする必要があります考え出し：

class Genetic a where 
    fitness :: (Ord b) => a -> b 

これは私には合理的なようだ - 私は必ずしもFloatのようなタイプに適応機能を制限しませんまたはDoubleであり、概念的にすべてのフィットネス機能は、個人の発注を提供する必要があります。

しかし、私はStringラッパーのこの型クラスを実装する場合：

data DNA = DNA String 
instance Genetic DNA where 
    fitness (DNA s) = length s 

私はGHCに次のエラーを参照してください。

Could not deduce (b ~ Int) 
from the context (Ord b) 
    bound by the type signature for fitness :: Ord b => DNA -> b 

が、これは私が型クラスの関数を定義する方法はないですか？関数を特定の具体的な型に限定しなければならないのですか、型のコンストラクタに別の型の変数を与える必要がありますか？ fitnessはに何が本当にしたいことはタイプ最高に合ったいくつかの特定のものであるとき、発信者は、要求する可能性のあるOrdインスタンスを提供できるようにする必要があります：

Answer 1

Luquiは、問題が何であるかを説明しました。

{-# LANGUAGE TypeFamilies, FlexibleInstances, FlexibleContexts #-} 

class (Ord (Fitness a)) => Genetic a where 
    type Fitness a :: * 
    fitness :: a -> Fitness a 

data DNA = DNA String 
instance Genetic DNA where 
    type Fitness DNA = Int 
    fitness (DNA s) = length s