push InstrPureHaskell (const id)
` label Addr {unLabel = let_1}
  ` push InstrPureHaskell ()
    ` liftI2 InstrPureHaskell ($)
      ` call Addr {unLabel = let_1}
        ` liftI2 InstrPureHaskell ($)
          ` ret