úÎÛ¬ Safe-Infered Peano-0.0.2 Data.PeanoPeanoSuccZero