将 myType 转换为 Int

Question

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

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

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

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

并没有给出结果

Answer 1

从...开始

toInt Zero     = ??? -- this one is really easy
toInt (Succ n) = ??? (toInt n) -- not much harder