diff --git a/seqid.cabal b/seqid.cabal
--- a/seqid.cabal
+++ b/seqid.cabal
@@ -1,5 +1,5 @@
 name:                seqid
-version:             0.2.0
+version:             0.3.0
 synopsis:            Sequence ID production and consumption
 description:         Uniquely identify elements in a sequence.
 License:             BSD3
@@ -10,10 +10,14 @@
 build-type:          Simple
 cabal-version:       >= 1.10
 
+source-repository head
+  type: git
+  location: git://github.com/LukeHoersten/seqid.git
+
 library
   exposed-modules: Data.SequenceId
   build-depends: base         >= 4.7 && < 4.8
-               , transformers >= 0.4 && < 0.5
+               , transformers >= 0.2 && < 0.5
 
   hs-source-dirs:      src
   default-language:    Haskell2010
diff --git a/src/Data/SequenceId.hs b/src/Data/SequenceId.hs
--- a/src/Data/SequenceId.hs
+++ b/src/Data/SequenceId.hs
@@ -1,10 +1,11 @@
 module Data.SequenceId
        ( checkSeqId
-       , nextSeqId
+       , incrementSeqId
 
          -- * Monadic
        , checkSeqIdM
-       , nextSeqIdM
+       , incrementSeqIdM
+       , lastSeqIdM
        , SequenceIdT
        , evalSequenceIdT
 
@@ -24,8 +25,8 @@
 type SequenceId   = Word32
 
 
-evalSequenceIdT :: Monad m => SequenceId -> SequenceIdT m b -> m b
-evalSequenceIdT = flip evalStateT
+evalSequenceIdT :: Monad m => SequenceIdT m b -> SequenceId -> m b
+evalSequenceIdT = evalStateT
 
 
 data SequenceIdError =
@@ -69,12 +70,18 @@
 
 ------------------------------------------------------------------------------
 -- | Update to the next sequense ID
-nextSeqIdM :: Monad m => SequenceIdT m SequenceId -- ^ Next sequence ID
-nextSeqIdM = modify' nextSeqId >> get
+incrementSeqIdM :: Monad m => SequenceIdT m SequenceId -- ^ Next sequence ID
+incrementSeqIdM = modify' incrementSeqId >> get
 
 
 ------------------------------------------------------------------------------
--- | Update to the next sequense ID
-nextSeqId :: SequenceId -- ^ Last sequence ID
-          -> SequenceId -- ^ Next sequence ID
-nextSeqId = (+1)
+-- | Increment to the next sequense ID
+incrementSeqId :: SequenceId -- ^ Last sequence ID
+               -> SequenceId -- ^ Next sequence ID
+incrementSeqId = (+1)
+
+
+------------------------------------------------------------------------------
+-- | Last seen sequense ID
+lastSeqIdM :: Monad m => SequenceIdT m SequenceId -- ^ Last sequence ID
+lastSeqIdM = get