úÎ\ Safe-Infered Peano-0.0.3 Data.PeanoPeanoSuccZeroplustimesinfinity