HaskellRules_June06.pdf Transforms