https://123deta.com/document/zxv05kvy-windows-linux-ghci-javac-ghci-prelude-ghci-reload.html