_any' :: (n -> Int) -> SubseqExtractor' n ()
_any' getLast = SubseqExtractor' $ \note -> Pure () : do
  let last = getLast note
  start <- [0 .. last]
  end   <- [0 .. last]
  pure $ Ranged () start end

-- Kind of a newtype for Ranged.Ranged.
-- The Eq instance ignores the embedded value
_any' :: (n -> Int) -> SubseqExtractor' n ()
_any' getLast = SubseqExtractor' $ \note -> Pure () : do
  let last = getLast note
  start <- [0 .. last]
  end   <- [0 .. last]
  pure $ Ranged () start end

-- Kind of a newtype for Ranged.Ranged.
-- The Eq instance ignores the embedded value
_any' getLast = SubseqExtractor' $ \note -> Pure () : do
  let last = getLast note
  start <- [0 .. last]
  end   <- [0 .. last]
  pure $ Ranged () start end

-- Kind of a newtype for Ranged.Ranged.
-- The Eq instance ignores the embedded value