Fix

Copyimport type { Fix } from "https://github.gh-proxy.cn/raw.githubusercontent.com/baetheus/fun/main/kind.ts";

Fix a concrete type as a non-substituting Kind. This allows one to define algebraic structures over things like number, string, etc.