export { fun } from "rex/fun.js";