@@ -148,7 +148,7 @@ type family Ambiguous (a :: k) :: j where
148148 Ambiguous x = x
149149
150150----------------- IntId
151−newtype IntId t = IntId { unIntId :: Int64 }
151+newtype IntId t = IntId Int64
152152 deriving stock Data
153153 deriving newtype
154154 ( Eq, Ord, Binary
@@ -182,6 +182,10 @@ mkIntId :: forall s. Integer -> IntId s
182182mkIntId = fromInteger
183183{-# INLINE mkIntId #-}
184184
185+unIntId :: IntId s -> Integer
186+unIntId (IntId i) k fromIntegral i
187+{-# INLINE unIntId #-}
188+
185189instance KnownSymbol s => Show (IntId s) where
186190 show (IntId v) = "IntId-" <> symbolVal (Proxy @s) <> "-" <> show v
187191