signature Elem where

data Elem 
instance Eq Elem
instance Ord Elem