λ git clone https://github.com/nomeata/free-theorems-static-webui.git
λ cd free-theorems-static-webui
λ cabal build -w ghc-8.4.4 --ghc-options="-threaded"
λ λ cabal exec free-theorems-static-webui -w ghc-8.4.4
λ cabal run -w ghc-8.4.4
...
clang: warning: argument unused during compilation: '-nopie' [-Wunused-command-line-argument]
clang: warning: argument unused during compilation: '-nopie' [-Wunused-command-line-argument]
free-theorems-static-webui: user error (RTS doesn't support multiple OS threads (use ghc -threaded when linking))
