-- | Is the given typed row identifier invalid? I.e. is it guaranteed to not
--   match any row in any table?
isInvalidId :: ID a -> Bool
isInvalidId = isInvalidRowId . untyped
isInvalidId :: ID a -> Bool
isInvalidId = isInvalidRowId . untyped
isInvalidId = isInvalidRowId . untyped