howTyConApp (MkDataCon "ghc-prim:GHC.Tuple.Z2T" _ _) [x,y] = do
  x_str <- evalPtr x >>= showValue
  y_str <- evalPtr y >>= showValue
  return $ show (x_str,y_str) 

showTyConApp (MkDataCon "ghc-prim:GHC.Tuple.Z2T" _ _) [x,y] = do
  x_str <- evalPtr x >>= showValue
  y_str <- evalPtr y >>= showValue
  return $ show (x_str,y_str) 
showTyConApp (MkDataCon "ghc-prim:GHC.Tuple.Z2T" _ _) [x,y] = do
  x_str <- evalPtr x >>= showValue
  y_str <- evalPtr y >>= showValue
  return $ show (x_str,y_str) 