That is amazing! "Every good regulator of a system must be a model of that system" [1] So not only does the Haskell code encode a shell, but also a type inferen

That is amazing! "Every good regulator of a system must be a model of that system" [1] So not only does the Haskell code encode a shell, but also a type inferencer and type checker, all in 18kloc. 3-5kloc more and you would have a shell compiler! [1] https://libgen.is/scimag/10.1080%2F00207727008920220 https://libgen.is/scimag/10.1080%2F00207727008920220