:set -XOverloadedStrings
:set -iapex
:set -ilore
:set prompt "λ "
:set prompt-cont "| "
:set -Wall