interface Bifunctorimport { type Bifunctor } from "https://deno.land/x/hkts@v0.0.52/type_classes.ts"; Bifunctor https://github.com/fantasyland/static-land/blob/master/docs/spec.md#bifunctor Type ParametersURI extends URISoptional_ extends any[] = any[]Propertiesreadonlybimap: <A, B extends _[0], I, J>(fbj: (b: B) => J, fai: (a: A) => I) => <C extends _[1], D extends _[2]>(tab: Kind<URI, [A, B, C, D, ]>) => Kind<URI, [I, J, C, D, ]>readonlymapLeft: <B extends _[0], J>(fbj: (b: B) => J) => <A, C extends _[1], D extends _[2]>(tea: Kind<URI, [A, B, C, D, ]>) => Kind<URI, [A, J, C, D, ]>