Hello, could anybody tell me what is wrong with the following declarations ? --------------------------------------------------------------------- class Eq a => N a where norm :: a -> Int instance N a => Ord a where x <= y = (norm x) <= (norm y) --------------------------------------------------------------------- Why Haskell (ghc-0.26) reports parse error: "a" (after "Ord") ? Thank you. Sergey Mechveliani [EMAIL PROTECTED]