I've wanted many things from shell but never to write Haskell in Shell. This turned something relatively naturally expressible into something so complex that requires type theory
https://en.wikipedia.org/wiki/Scsh
And specifically https://en.wikipedia.org/wiki/Scsh#%22Acknowledgments%22