include module type of Channel_t
include S.ChannelImpl with
    type t := Channel_t.t