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