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