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