naive TYLAMBDA... works, but probably not complete