Rewrote let-bindings into where clauses