Element 'profunctor optics'