Control.Eff.Lift

data Lift m v

lift

runLift