pushValue (\x_0 -> GHC.Show.show 'a')
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
  freeRegs=[]
read ((GHC.Classes.==) 'a')
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
  freeRegs=[]
lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  minReads=(Right 0)
  mayRaise=[]
  freeRegs=[]
ret
  minReads=(Right 0)
  mayRaise=[]
  freeRegs=[]