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