interface Profunctorimport { type Profunctor } from "https://deno.land/x/hkts@v0.0.52/type_classes.ts"; Profunctor https://github.com/fantasyland/static-land/blob/master/docs/spec.md#profunctor Type ParametersURI extends URISPropertiesreadonlypromap: <A, B, I, X>(fai: (a: A) => I, fbj: (b: B) => X) => <C, D>(tib: Kind<URI, [I, B, C, D, ]>) => Kind<URI, [A, X, C, D, ]>