CurryInfo: peano