Graph reduction with super-combinators by John Hughes | Lex | Lex