OptionalGetter to itself if it satisfies the predicate.
Invoke operator overload to create an OptionalGetter of type S with focus A.
S
A