liftHostProgram :: Exp -> R r Exp
liftHostProgram =
    return
    >=> oPass (lambdaLift ExpA)
liftHostProgram :: Exp -> R r Exp
liftHostProgram =
    return
    >=> oPass (lambdaLift ExpA)
liftHostProgram =
    return
    >=> oPass (lambdaLift ExpA)