2011/2/21 Gábor Lehel <illissius at gmail.com>: >> GHC successfully rewrites "one" but not "two" using the RULE, so the >> output is (False, True). > > Hmm... did you mean to say "two" but not "one"? Erm, yes! Max