import { type Profunctor } from "https://deno.land/x/fun@v2.0.0-alpha.6/profunctor.ts";
Profunctor https://github.com/fantasyland/static-land/blob/master/docs/spec.md#profunctor
TODO: Strong, Choice, Star, Join, and Split
Type Parameters
U extends Kind