Lift functions to Arrows and back down again