# Pastebin ZaQ3FdD0
fc'' :: Monad m => ConduitT A C m (Maybe B)
fc'' =
  mapC f
    .| fix
      ( \loop ->
          await >>= maybe (pure Nothing) \case
            Left b -> pure $ Just b
            Right c -> yield c *> loop
      )