variable traverseimport { traverse } from "https://deno.land/x/hkts@v0.0.52/optics/traversal.ts"; type<URI extends URIS>(T: TC.Traversable<URI>) => unknown