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