interface Functor implements TypeClass<U>import { type Functor } from "https://deno.land/x/fun@v.2.0.0-alpha.11/functor.ts"; Functor https://github.com/fantasyland/static-land/blob/master/docs/spec.md#functor Type ParametersU extends KindPropertiesreadonlymap: <A, I>(fai: (value: A) => I) => <B = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => $<U, [I, B, C], [D], [E]>