@@ -557,8 +557,8 @@ type UCs = (Int, [UConstraint])
557557
558558data NameType = Bound
559559 | Ref
560− | DCon Int Int -- ^ Data constructor; Ints are tag and arity
561− | TCon Int Int -- ^ Type constructor; Ints are tag and arity
560+ | DCon {tag :: Int, arity :: Int} -- ^ Data constructor
561+ | TCon {tag :: Int, arity :: Int} -- ^ Type constructor
562562 deriving (Show, Ord)
563563{-!
564564deriving instance Binary NameType