:set -fno-ghci-sandbox
:set prompt "\x03BB: "
:set prompt-cont  "   | "