CurryInfo: extra