import { lensIndex } from "https://deno.land/x/rambda@v9.2.0/src/lensIndex.js";