import { lte } from "https://dotland.deno.dev/x/rambda@v9.2.0/source/lte.js";