将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