On 9 Sep 2010, at 15:32, Henry Olders wrote: > Is there a way to specify the type for a function inside GHCi, that > is, without creating a separate file and loading it in? I don't think there is, but you can say :r to reload the current module. Cheers, G