import { type Modifier } from "https://deno.land/x/fun@v2.0.0/optic.ts";
The Modifier<S, A> type implements the modify function
(mod: (a: A) => A) => (s: S) => S
. This type is directly composable and
from it one can recover set/replace behavior.