made view and with both use lens-like syntax