@hackage peano0.1.0.1

Peano numbers