State
import type { State } from "https://github.gh-proxy.cn/raw.githubusercontent.com/baetheus/fun/main/state.ts";The State<E, A> type represents the core State structure. The input/output variable E is invariant, and the output variable A is covariant.
type State<E, A> = (e: E) => [A, E];