interface Extend implements Functor<U>, TypeClass<U>import { type Extend } from "https://deno.land/x/fun@v2.0.0-alpha.6/extend.ts"; Extend https://github.com/fantasyland/static-land/blob/master/docs/spec.md#extend Type ParametersU extends KindPropertiesreadonlyextend: <A, I, B, C, D, E>(ftai: (t: $<U, [A, B, C], [D], [E]>) => I) => (ta: $<U, [A, B, C], [D], [E]>) => $<U, [I, B, C], [D], [E]>