this is super cool; I wonder if some of the concepts can be applied in building Codex pipeline

just found https://crypto.stanford.edu/~blynn/haskell/jfh.html to cross-ref stuff when I get lost