include S.GuildImpl with
    type t := Guild_id_t.t