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

[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