@@ -557,8 +557,8 @@ type UCs = (Int, [UConstraint])
558data NameType = Bound
558data NameType = Bound
560− | DCon Int Int -- ^ Data constructor; Ints are tag and arity
560+ | DCon {tag :: Int, arity :: Int} -- ^ Data constructor
561− | TCon Int Int -- ^ Type constructor; Ints are tag and arity
561+ | TCon {tag :: Int, arity :: Int} -- ^ Type constructor
562 deriving (Show, Ord)
562 deriving (Show, Ord)
564deriving instance Binary NameType
564deriving instance Binary NameType