CurryInfo: io-extra-3.0.0