cleaning whitespace in definition of letrec