clarified signature: more explicit type Options.Spec, which incorporates all variants of Options.+;