Sample implementations of proximal operators