interface Chain implements TypeClass<U>, Apply<U>import { type Chain } from "https://deno.land/x/fun@v2.0.0-alpha.6/chain.ts"; Chain https://github.com/fantasyland/static-land/blob/master/docs/spec.md#chain Type ParametersU extends KindPropertiesreadonlychain: <A, I, J = never, K = never, D = unknown, E = unknown>(fati: (a: A) => $<U, [I, J, K], [D], [E]>) => <B = never, C = never>(ta: $<U, [A, B, C], [D], [E]>) => $<U, [I, B | J, C | K], [D], [E]>