Haskell Peano Numbers

Я пытаюсь написать функцию

toPeano :: Int -> Nat
toPeano n =

, которая превращает целое число в его число Пеано.

У меня есть данные:

data Nat =
   Zero |
   Succ Nat
   deriving Show

Например,

toPeano 0 = Zero
toPeano 1 = Succ Zero
toPeano 2 = Succ (Succ Zero)

и так далее.

Я понятия не имею, как заставить его распечатать числа Пеано, заданные целым числом. Я никогда не работал с числами Пеано, поэтому буду благодарен за любую помощь!

Спасибо!