CurryInfo: peano-1.1.0 / Data.Nat: all operations