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