push InstrPureHaskell (Haskell ())
` ret