Control.Effect.Lift
data
Lift
m a
runLift
lift