pushValue Term
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
pushValue (\u1 -> (\u2 -> u1))
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
pushValue 'a'
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
read ('a' ==)
  minReads=(Right 1)
  mayRaise=[ExceptionFailure]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
lift2Value (\u1 -> (\u2 -> u1 u2))
  minReads=(Right 0)
  mayRaise=[]
ret
  minReads=(Right 0)
  mayRaise=[]