when fetching a value, it always ends up in WHNF
when fetching a value, it always ends up in WHNF

darcs-hash:20070510093406-1a7c6-fbf84a18279ba3d54d2867812bffd5c8272fc53e

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc