data Nat = Zero | Succ n plus1 = Succ Probably not the answer they were looking for, but it was the first thing that came into my head.
data Nat = Zero | Succ n plus1 = Succ Probably not the answer they were looking for, but it was the first thing that came into my head.