[Haskell] Definizione di albero binario con elementi "derivati" da Ordering

[Nikopol]

Ciao a tutti,
devo definire una funzione che cerchi un elemento (Int) in un albero binario di ricerca.
Mi è stato imposto di comparare gli elementi usando la funzione compare di Ordering:

compare :: Ord a => a -> a -> Ordering

Ho definito l'albero come:

data Tree = Leaf Int
          | Node Tree Int Tree
          deriving (Ordering)

e la funzione per la ricerca come:

occursT :: Int -> Tree -> Bool
occursT n (Leaf m) = n `compare` m == EQ
occursT n (Node t1 m t2)
    | n `compare` m == LT = occursT (t1)
    | n `compare` m == GT = occursT (t2)
    | otherwise = True

Il problema è che in fase di compilazione, alla riga in cui c'è deriving(Ordering), ottengo questo errore :

Expected kind ‘k0 -> GHC.Prim.Constraint’,
      but ‘Ordering’ has kind ‘*’
    In the data declaration for ‘Tree’

Sapreste dirmi cosa sbaglio?

Grazie in anticipo

[Scara95]

Non devi derivare Ordering: non è l'albero ad avere la proprietà di ordinamento, ma l'intero.
Tu non puoi mettere in ordine 2 alberi:
(Node (Leaf 1) 3 (Leaf 25)) non è comparabile con (Node (Leaf 1) 7 (Leaf 10))
1 < 3 < 7 < 10 < 25 gli interi che contengono sono comparabili.

C'è un altro errore, ma te lo dirà il compilatore dopo aver tolto quel deriving.

[Nikopol]

Ho sistemato così:

data Tree = Leaf Int
          | Node Tree Int Tree

occursT :: Int -> Tree -> Bool
occursT n (Leaf m) = n `compare` m == EQ
occursT n (Node t1 m t2)
          | n `compare` m == LT = occursT n t1
          | n `compare` m == GT = occursT n t2
          | otherwise = True

In effetti guardando meglio la documentazione, Int deriva da Ord il quale definisce compare quindi posso utilizzare compare direttamente su in Int. Io invece pensavo che dovessi specificarlo in qualche modo.

Grazie mille per l'aiuto

[Scara95]

Di nulla