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