:set -XOverloadedStrings
:set prompt "λ "
:set prompt-cont "| "
:set -Werror