CurryInfo: curry-ast