Specification trait implementations for this combinator. Specifications for canonical and deliberately malleable alternatives.