Finding a bug in the default setting using a rule from the ICFP paper. Something seems fishy...