let
channel_of_channel =
Rss_io
.channel_of_channel