Assertion: lens | /r/HasProperty | foo a
Facets:
Source sentences:
text: Lens' (Foo a) Int quux ::
text: Lens (Foo a) (Foo b) a b