CurryInfo: finite-map-3.0.0