  ∷ Functor f
  ⇒ (ShardIterator → f ShardIterator)
  → GetRecords
  → f GetRecords
grShardIterator i GetRecords{..} =
  (\_grShardIterator → GetRecords{..})
    <$> i _grShardIterator
{-# INLINE grShardIterator 
grShardIterator
  ∷ Functor f
  ⇒ (ShardIterator → f ShardIterator)
  → GetRecords
  → f GetRecords
grShardIterator i GetRecords{..} =
  (\_grShardIterator → GetRecords{..})
    <$> i _grShardIterator
grShardIterator i GetRecords{..} =
  (\_grShardIterator → GetRecords{..})
    <$> i _grShardIterator