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