type alias IOimport { type IO } from "https://deno.land/x/hkts@v0.0.52/io.ts"; Types Type ParametersAdefinition: () => A