towards monads: use u,v for monadic terms
[lambda.git] / szabolcsi-reflexive.jpg
szabolcsi-reflexive.jpg