sig type +'a t type kind = [ `ClientRole | `ServerRole ] end