-- | /O(1)/ Last element of a vector in a monad. See 'indexM' for an
-- explanation of why this is useful.
lastM :: (Monad m, G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs))
  => (Vector k) (Rec (TaggedFunctor Identity) rs) -> m (Rec (TaggedFunctor Identity) rs)
lastM = G.lastM
lastM :: (Monad m, G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs))
  => (Vector k) (Rec (TaggedFunctor Identity) rs) -> m (Rec (TaggedFunctor Identity) rs)
lastM = G.lastM
lastM = G.lastM