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