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