[use strict ReaderWriter monad
John Meacham <john@repetae.net>**20060411021808] hunk ./E/SSimplify.hs 51
+import Util.ReaderWriter
hunk ./E/SSimplify.hs 73
-newtype OM a = OM (Writer OMap a)
+newtype OM a = OM (ReaderWriter () OMap a)
hunk ./E/SSimplify.hs 96
-    (fe,OMap omap) = runWriter $ unOM (f e)
+    (fe,OMap omap) = runReaderWriter (unOM (f e)) ()