- | There are some values that contain addresses for which we must, in order to
-- pretty print the given value, look up their actual value in the heap
showValue :: Value -> IM String
showValue (TyConApp tc ptrs) = do
  --io $ putStrLn "tyconapp.."
  showTyConApp tc ptrs

showValue :: Value -> IM String
showValue (TyConApp tc ptrs) = do
  --io $ putStrLn "tyconapp.."
  showTyConApp tc ptrs
showValue (TyConApp tc ptrs) = do
  --io $ putStrLn "tyconapp.."
  showTyConApp tc ptrs