-- type constructor
data Id

-- constructors:
Qname :: String -> String -> Id

-- instances:
instance Eq Id
instance Ord Id
instance Show Id