[when fetching a value, it always ends up in WHNF
John Meacham <john@repetae.net>**20070510093406] hunk ./Grin/NodeAnalyze.hs 225
-        f (Fetch w) | TyPtr TyNode == getType w = do
+        f (Fetch w) | tyINode == getType w = do
hunk ./Grin/NodeAnalyze.hs 227
-            dres [ww]
-        f (Fetch w) | TyPtr (TyPtr TyNode) == getType w = do
+            --dres [ww]
+            dres [Right (N WHNF Top)]
+        f (Fetch w) | TyPtr tyINode == getType w = do
hunk ./Grin/NodeAnalyze.hs 236
-        f Alloc { expValue = v } | getType v == TyPtr TyNode = do
+        f Alloc { expValue = v } | getType v == tyINode = do
hunk ./Grin/NodeAnalyze.hs 238
-            dunno (TyPtr $ TyPtr TyNode)
+            dunno (TyPtr tyINode)