data N = Zero | Succ N deriving Show

infinity = Succ infinity