Toy implementation of graph reduction from Peyton-Jones 1987