type alias Ofimport { type Of } from "https://deno.land/x/hkts@v0.0.52/semigroup.ts"; Free Semigroup Type ParametersAdefinition: { readonly tag: "Of"; readonly value: A; }