letrec a == b;
       b == 3
in a
