interface IndexedFunctorimport { type IndexedFunctor } from "https://deno.land/x/hkts@v0.0.52/type_classes.ts"; Type ParametersURI extends URISoptionalIndex = numberPropertiesreadonlymap: <A, I>(fai: (a: A, i: Index) => I) => <B, C, D>(ta: Kind<URI, [A, B, C, D, ]>) => Kind<URI, [I, B, C, D, ]>