monocle.function
lift an instance of Field4 using an Iso
*********************************************************************************************