import * as rambdax from "https://deno.land/x/rambdax@v11.1.0/propSatisfies.js";