letrec loop x = loop x in letrec test x = letrec innerTest y = x in innerTest in test 42 (loop 0)