[doc] construct from optional and right supplier