Invoke operator overload to create a POptional of type S with focus A. Can also be used to construct Optional
S
A