type alias LiftFnimport { type LiftFn } from "https://deno.land/x/fun@v2.0.0/examples/arrow.ts"; Type ParametersU extends Kinddefinition: <A, I, J = never, K = never, L = unknown, M = unknown>(fai: (a: A) => I) => Arrow<U, A, I, J, K, L, M>