練習問題 3.1.2

自然数を整数に変換する関数 
convert :: Nat -> Integer
を定義せよ． 





convert           ::  Nat -> Integer
convert Zero      =   0
convert (Succ n)  =   succ (convert n)