visual-graphrewrite-0.4.0.1: sample/Test0.hs

f a 0 = a
f a b = g b
g a = a

result a = f 1 (f 2 3)