More examples of proving GHC RULES.