type alias Thingimport { type Thing } from "https://deno.land/x/hkts@v0.0.52/examples/schemable.ts"; definition: S.TypeOf<Thing>variable Thingimport { Thing } from "https://deno.land/x/hkts@v0.0.52/examples/schemable.ts";