type alias Impureimport { type Impure } from "https://deno.land/x/fun@v2.0.0/examples/freer.ts"; Type ParametersGDAdefinition: { readonly tag: "Impure"; readonly from: $<G, [D, never, never]>; readonly to: (d: D) => Freer<G, A>; }