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