import { lensIndex } from "https://deno.land/x/rambda@v8.6.0/source/lensIndex.js";