push InstrPureHaskell ((.) ((flip ($)) (const id)) . ((.) (.) . ((.) (.) . ((.) (const id) . const id))))
` label Addr {unLabel = let_5}
  ` push InstrPureHaskell (const id)
    ` label Addr {unLabel = let_2}
      ` push InstrPureHaskell (const id)
        ` call Addr {unLabel = let_5}
          ` liftI2 InstrPureHaskell ($)
            ` call Addr {unLabel = let_2}
              ` liftI2 InstrPureHaskell ($)
                ` liftI2 InstrPureHaskell ($)
                  ` call Addr {unLabel = let_5}
                    ` liftI2 InstrPureHaskell ($)
                      ` liftI2 InstrPureHaskell ($)
                        ` label Addr {unLabel = let_3}
                          ` push InstrPureHaskell ()
                            ` liftI2 InstrPureHaskell ($)
                              ` label Addr {unLabel = let_4}
                                ` push InstrPureHaskell (const id)
                                  ` label Addr {unLabel = let_1}
                                    ` push InstrPureHaskell (const id)
                                      ` call Addr {unLabel = let_4}
                                        ` liftI2 InstrPureHaskell ($)
                                          ` call Addr {unLabel = let_1}
                                            ` liftI2 InstrPureHaskell ($)
                                              ` liftI2 InstrPureHaskell ($)
                                                ` call Addr {unLabel = let_4}
                                                  ` liftI2 InstrPureHaskell ($)
                                                    ` liftI2 InstrPureHaskell ($)
                                                      ` call Addr {unLabel = let_3}
                                                        ` liftI2 InstrPureHaskell ($)
                                                          ` ret