visual-graphrewrite-0.4.0.1: sample/CyclicDefinitions.hs

h = f

f = h

y = g 1

g x = g x