小编use*_*577的帖子

我有我的类型，在这里定义： data Nat = Zero | Succ Nat deriving Show

我想要定义函数，将 Nat 转换为 Int。请帮助

我所有的尝试都是这样的：

toInt :: Nat -> Int
toInt n = show n :: Int

并没有给出结果