variable rightimport { right } from "https://deno.land/x/hkts@v0.0.52/optics/traversal.ts"; type<S, E, A>(sea: Traversal<S, Either<E, A>>) => Traversal<S, A>