CurryInfo: currycheck-4.0.0