Values of Zero-Sized types hold no information. This, however, does not imply that they are trivial. Rather, they offer the necessary properties for a complex interactions between the type system and values.
A key agreement scheme which allows any involved party to add or remove credentials as well as rekey the groups shared key. This may or may not be entirely broken, I'll provide a fat warning should it turn out to be the former.