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