a few rec monadic funs now translate