a = b b = a main = a -- ???: Variables defined recursively must all be functions.