untyped eval: V[12]-->V[AB]
[lambda.git] / code / _monads.ml
2015-03-23 Jimadd some old code, let's review/update before publishing