Я пытаюсь напишите функцию toPeano :: Int -> Nat toPeano n =, которая превращает целое число в его число Пеано. У меня есть данные: data Nat = Zero | Succ Nat, производное Show Например, ...