:set -v0
:set -XNoMonomorphismRestriction
:set -Wall -fno-warn-name-shadowing -fno-warn-type-defaults
:set editor nvim

:set prompt "λ. "