:set prompt "λ> " :set -XOverloadedStrings :set -XPartialTypeSignatures :set -fdefer-type-errors :set -fwarn-typed-holes :set -isrc