variable lensSatisfiesimport { lensSatisfies } from "https://deno.land/x/rambda@9.3.0/source/lensSatisfies.js";