import { lensProp } from "https://deno.land/x/rambda@v9.1.1/source/lensProp.js";