Roles
module Role = Role
module Group = Group
module type S = sig ... end
module Make (R : Role.S) : S with module Role = R and type role = R.t