@@ -430,7 +430,10 @@ instance Show UConstraint where
431type UCs = (Int, [UConstraint])
431type UCs = (Int, [UConstraint])
433−data NameType = Bound | Ref | DCon Int Int | TCon Int Int
433+data NameType = Bound
435+ | DCon Int Int -- ^ Data constructor; Ints are tag and arity
436+ | TCon Int Int -- ^ Type constructor; Ints are tag and arity
434 deriving (Show, Ord)
437 deriving (Show, Ord)
436deriving instance Binary NameType
439deriving instance Binary NameType