+Option.ofChoice, Choice<_,_>.isChoice1Of2...