In Haskell kann man einen Datentyp wie folgt definieren:

data Point1 = Point1 {
    x :: Integer
  , y :: Integer
}

Kann man Typklassen für Variablen innerhalb eines Datentyps verwenden? Wenn das so ist, wie? Mir ist klar, dass dies als algebraischer Datentyp mit einer unterschiedlichen Definition für jede Art von Punkt möglich ist, aber ich frage mich, ob es eine Möglichkeit gibt, dies auf kompaktere und flexiblere Weise zu erreichen.

z.B. Etwas in dieser RichtungPseudocode die Funktionsdeklarationssyntax verwendet:

data Point2 = Point2 {
    x :: (Num a, Ord a) => a
  , y :: (Num a, Ord a) => a
}

Das Ziel wäre es, eine Speicherung zu ermöglichenInt, Ganze Zahl, Schweben oderDoppelt Werte im Datentyp. Idealerweise möchte ich es einschränken, sodass x und y vom selben Typ sein müssen.