{ ... }:
{
  home.file.".ghci".text = ''
  :set prompt "λ> "
  '';
}