These examples are taken from the original partial evaluator, presented in:
Maximilian C. Bolingbroke and Peyton Jones, Simon L.:
Supercompilation by evaluation, Haskell 2010
