ghci Rewriting.hs