-- | Peano numbers without any extra fluff
module Data.Peano (Peano(..)) where

data Peano
    = Zero
    | Succ Peano
    deriving (Show, Eq, Ord)