-- | A typed row identifier which is guaranteed to not match any row in any
--   table.
invalidId :: ID a
invalidId = ID invalidRowId
invalidId :: ID a
invalidId = ID invalidRowId
invalidId = ID invalidRowId