Category theory stuff in OCaml

todo: add some doc

mostly functorial typeclasses using the module system but there's more :P

to see an example of use:

opam exec -- dune exec cat

also there are some monads such as Option defined in lib/Instance.ml

---

cat's development does not involve any large language model.