Executable trait implementations for this combinator. Executable implementations for empty and uninhabitable formats.