some more operators and lenses around partials