:set prompt "λ "
:set -XOverloadedStrings