import * as fun from "https://deno.land/x/fun@v2.0.0/identity.ts";
This file contains the Identity algebraic data type. Identity is one of the simplest data types in that it represents a type AS IS, allowing one to create algebraic structures for the inner type. This is most useful for constructing arrow optics.