:set -fno-ghci-sandbox
:set -ferror-spans
:set -fdiagnostics-color=always
:set prompt "\x03BB: "
:set prompt-cont  "   | "