Invoke operator overload to create a PPrism of type S with focus A. Can also be used to construct Prism
S
A
Prism to focus into an arrow.core.None
A PPrism that checks for equality with a given value a
PPrism to focus into an arrow.core.Some
Prism to focus into an arrow.core.Some