Specification trait implementations for this combinator. Specifications for empty and uninhabitable formats.