pushValue (\u1 -> 'a')
read ('a' ==)
lift2Value (\u1 -> (\u2 -> u1 u2))
ret