works with letExpr (not lambda yet)