Mantendo o GHCi aberto podemos acrescentar mais definições ao ficheiro "aula1.hs", por exemplo, e depois recarrega-lo no GHCi para as testar.

Por exemplo, podemos acrescentar ao ficheiro a definição da função fatorial :

fact 0 = 1
fact n = n * fact (n-1)

E depois recarrega-lo no GHCi :

*Aula1> :reload
[1 of 1] Compiling Aula1 (aula1.hs. interpreted)
ok, one module loaded
*Aula1> fact 5
120
*Aula1>