title: Non-integer inhabitants of integers in Haskell
body: <p>Peano natural numbers in Haskell defined as <code>data Peano = Zero | Succ Peano</code> are quite strange beasts: besides plain naturals and bottom values, there is an "infinite integer" <code>inf = Succ inf</code> among them.</p>
  
  <p>Are there any other inhabitants of the <code>Peano</code> type? Does this infinite number has a name?</p>